Browsing by Subject SAT problem
Showing results 1 to 4 of 4
| Issue Date | Title | Author(s) | Rank |
|---|---|---|---|
| 1-Jan-2010 | Formal correctness proof for dPLL procedure | Marić, Filip ; Janičić, Predrag | M21 |
| 12-Nov-2010 | Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL | Marić, Filip | |
| 1-Jan-2001 | GD-SAT model and crossover line | Janičić, Predrag | M23 |
| 30-Sep-2012 | URSA: A system for uniform reduction to SAT | Janičić, Predrag | M22 |