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


- 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

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