17 citations · 28 across the 5 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011★ 9 cited
Formalization of Abstract State Transition Systems for SAT
Filip Maric, Predrag Janicic
We present a formalization of modern SAT solvers and their properties in a form of abstract state transition systems. SAT solving procedures are described as transition relations o…
cs.AI2011
Simple Algorithm Portfolio for SAT
Mladen Nikolic, Filip Maric, Predrag Janicic
The importance of algorithm portfolio techniques for SAT has long been noted, and a number of very successful systems have been devised, including the most successful one --- SATzi…