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
SAT

Links

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

Related papers

https://doi.org/10.1007/11527695_26 (SAT'04)

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.