132 search results - page 27 / 27 » Graph limits and hereditary properties |
SIAMIS
2010
13 years 22 days ago
2010
Simulated annealing (SA) and deterministic continuation are well-known generic approaches to global optimization. Deterministic continuation is computationally attractive but produ...
CORR
2011
Springer
12 years 9 months ago
2011
Springer
Efficient implementations of DPLL with the addition of clause learning are the fastest complete Boolean satisfiability solvers and can handle many significant real-world problem...