Combining Cubic Dynamical Solvers with Make/Break Heuristics to Solve SAT.

Anshujit Sharma, Matthew X. Burns, Michael C. Huang

Browse the full SAT paper archive.