Login / Signup

Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method.

Marijn J. H. HeuleOliver KullmannVictor W. Marek
Published in: IJCAI (2017)
Keyphrases
  • sat solving
  • cost function
  • objective function
  • combinatorial optimization