openQbf
Submitter: | Daniel Le Berre | ||
Description: | Devised by Gilles Audemard, Daniel Le Berre and Olivier Roussel, it is a search-based solver, featuring basic unit propagation and pure literal lookahead, plus a conflict backjumping lookback engine. The heuristic is derived from Bohm and Speckenmeyer's heuristic for SAT. | ||
Results: | |||