×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [relaxed dpll search]
Home >
relaxed dpll search
Relaxed DPLL Search for MaxSAT (short paper) Lukas Kroc, Ashish Sabharwal, Bart Selman Cornell University SAT-09 Conference Swansea, U.K. July 3, 2009.
219 views
Relaxed DPLL Search for MaxSAT (short paper)
47 views