19 citations · 53 across the 10 of their papers we have counts for
1 paper · 2 filters
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…