VPB: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
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:…“) |
Tobias Philipp (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
{{Main heading|A Verified Decision Procedure for Pseudo-Boolean Formulas}} | |||
We developed a verified decision procedure for pseudo-Boolean constraints. | 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]] | You can find the verified encoder, a SAT solver that supports proof emission here: [[Datei:VPB.zip]] | ||
Version vom 21. Oktober 2016, 22:12 Uhr
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
