A Verified Decision Procedure for Pseudo-Boolean Formulas

Aus International Center for Computational Logic

Version vom 21. Oktober 2016, 22:13 Uhr von Tobias Philipp (Diskussion | Beiträge)

(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Wechseln zu:Navigation, Suche

A Verified Decision Procedure for Pseudo-Boolean Formulas

We developed a verified decision procedure for pseudo-Boolean constraints. You can find the verified encoder, a SAT solver that supports proof emission here: Datei:VPB.zip The Coq files can be downloaded from here: Datei:SWC.v

Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=VPB&oldid=21495“

Seiten mit defekten Dateilinks