Issues

• Paper revision: reviewer response tracker

  OptimalBranching/BooleanInference.jl#36 · Filter by author isPANN opened on May 18, 2026

• Experiment plan

  OptimalBranching/BooleanInference.jl#31 · Filter by author isPANN opened on Jan 15, 2026

• Understand why Kisat works so good for unsat

  OptimalBranching/BooleanInference.jl#30 · Filter by author GiggleLiu opened on Jan 13, 2026

• Hybrid architecture

  OptimalBranching/BooleanInference.jl#29 · Filter by author isPANN opened on Jan 12, 2026

• Different representation

  OptimalBranching/BooleanInference.jl#28 · Filter by author isPANN opened on Jan 12, 2026

• Why cube-and-conquer works so good for CDCL?

  OptimalBranching/BooleanInference.jl#27 · Filter by author isPANN opened on Jan 12, 2026

• More benchmark problems

  OptimalBranching/BooleanInference.jl#25 · Filter by author isPANN opened on Dec 23, 2025

• E-graph optimization with boolean inference

  OptimalBranching/BooleanInference.jl#11 · Filter by author GiggleLiu opened on Jun 27, 2025

• Benchmarks on first version

  OptimalBranching/BooleanInference.jl#10 · Filter by author nzy1997 opened on Jun 4, 2025

• Include reduction rules

  OptimalBranching/BooleanInference.jl#6 · Filter by author GiggleLiu opened on Dec 27, 2024

• Use degree 3 measure instead of number of vertices removed

  OptimalBranching/BooleanInference.jl#5 · Filter by author GiggleLiu opened on Dec 25, 2024
  1

• Use multiplier constraint directly

  OptimalBranching/BooleanInference.jl#4 · Filter by author nzy1997 opened on Dec 25, 2024

• Optimize region selection strategy

  OptimalBranching/BooleanInference.jl#3 · Filter by author nzy1997 opened on Dec 25, 2024
  3

• Optimize candidate clause generation

  OptimalBranching/BooleanInference.jl#2 · Filter by author nzy1997 opened on Dec 25, 2024