×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [temporary clauses]
Home >
temporary clauses
Efficient SAT Solving Under Assumptions Alexander Nadel 1 and Vadim Ryvchin 1,2 1 – Intel, Haifa, Israel 2 – Technion, Haifa, Israel SAT’12, Trento, Italy.
218 views
E fficient SAT S olving u nder A ssumptions
18 views