×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [unsatisfiable formula]
Home >
unsatisfiable formula
A Scalable Algorithm for Minimal Unsatisfiable Core Extraction Nachum Dershowitz¹ Ziyad Hanna² Alexander Nadel¹, ² 1 Tel-Aviv University 2 Intel SAT’06.
213 views
A framework for eager encoding
34 views
EMIS 8373: Integer Programming NP-Complete Problems updated 21 April 2009.
217 views
SAT 2009 Ashish Sabharwal Backdoors in the Context of Learning (short paper) Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal Cornell University SAT-09.
214 views
Backdoors in the Context of Learning (short paper)
18 views
Decision Procedures in First Order Logic
15 views