×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [unit propagationif]
Non-clausal Reasoning
35 views
Algorithms and Problems for Quantified SAT
34 views
Algorithms and Problems for Quantified SAT Toby Walsh Department of Computer Science University of York England Ian P. Gent School of Computer Science
218 views