MH
M.J.H. Heule
Authored
1 records found
March dl
Adding Adaptive Heuristics and a New Branching Strategy
We introduce the march dl satisability (SAT) solver, a successor of march eq. The latter was awarded state-of-the-art in two categories during the Sat 2004 competition. The focus lies on presenting those features that are new in march dl. Besides a description, each of these feat
...