Program
Verification
Book

PV4 ⊧ march_dlproduces a satisfiability result with equivalence reasoning and double lookahead heuristics

an improved version of march_eq

Application domain/field

SAT solving

Type of tool

SAT solver

Links

- http://web.archive.org/web/20170318232310/http://www.st.ewi.tudelft.nl/sat/march_dl.htm (original page inaccessible)

Related papers

March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver (SAT'04)

ProVerB specific

Markdown description: view/edit
Reason for this entry: used by SATzilla
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.