×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [clause learning]
Documents
1 CSPs: Adding Structure to SAT George Katsirelos Fahiem Bacchus University of Toronto
223 views
Documents
Model Counting of Query Expressions: Limitations of Propositional Methods Paul Beame 1 Jerry Li 2 Sudeepa Roy 1 Dan Suciu 1 1 University of Washington
219 views
Documents
Learning to Search Henry Kautz
173 views
Documents
BIRS Workshop, Banff, Canada Jan 22, 2014 © 2014 IBM Corporation Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers
217 views
Documents
Next 10 years of Constraint Programming: The Science of Constraints Carla P. Gomes Cornell University CP 2006
217 views
Documents
AAAI 2013 Conference, Bellevue, WA AAAI 2013 © 2013 IBM Corporation Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT
215 views
Documents
Motivation & Goal SAT and Constraint Processing (CP) are fundamental areas of Computer Science that address the same computational questions. Compare SAT
213 views
Documents
Learning to Search Henry Kautz University of Washington joint work with Dimitri Achlioptas, Carla Gomes, Eric Horvitz, Don Patterson, Yongshao Ruan, Bart
215 views
Documents
[published at AAAI-2013]
44 views
Documents
Trend Towards Parallelization
36 views
Documents
Motivation & Goal
72 views
Documents
Parallelizing MiniSat
48 views