2343 search results - page 13 / 469 » Visual-Concept Search Solved |
INFORMS
2010
15 years 2 months ago
2010
226
click to vote
CADE
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. We describe a new algorithm for solving linear integer programming problems. The algorithm performs a DPLL style search for a feasible assignment, while using a novel cut...
130
click to vote
AMAI
2004
Springer
15 years 9 months ago
2004
Springer
Recent dynamic local search (DLS) algorithms such as SAPS are amongst the state-of-the-art methods for solving the propositional satisfiability problem (SAT). DLS algorithms modi...