Keyword:SAT solvers

Publications
Two Dimensional Bounded Model Checking for Unbounded Client-Server Systems Tephilla Prince EasyChair Preprint 8638
Typical-case complexity and the SAT competitions Zoltan Mann In:POS-14. Fifth Pragmatics of SAT workshop