Building a Hybrid SAT Solver via Conflict-Driven, Look-Ahead and XOR Reasoning Techniques.

Jingchao Chen

Browse the full SAT paper archive.