1. Research with MATF
  2. Research Outputs

Browsing by Subject SAT problem

Showing results 1 to 4 of 4
Issue DateTitleAuthor(s)Rank
1-Jan-2010Formal correctness proof for dPLL procedureMarić, Filip ; Janičić, Predrag 
12-Nov-2010Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOLMarić, Filip 
1-Jan-2001GD-SAT model and crossover lineJaničić, Predrag 
30-Sep-2012URSA: A system for uniform reduction to SATJaničić, Predrag 
Showing results 1 to 4 of 4