VPB

Aus International Center for Computational Logic

Version vom 21. Oktober 2016, 22:07 Uhr von Tobias Philipp (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „ We developed a verified decision procedure for pseudo-Boolean constraints. You can find the verified encoder, a SAT solver that supports proof emission here:…“)

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

Wechseln zu:Navigation, Suche

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

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