Login / Signup

In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving.

Marc VinyalsJan ElffersJesús Giráldez-CruStephan GochtJakob Nordström
Published in: SAT (2018)
Keyphrases
  • sat solving
  • cutting plane
  • integer linear programming
  • search strategy
  • symmetry breaking