2343 search results - page 13 / 469 » Visual-Concept Search Solved |
145
Voted
INFORMS
2010
15 years 5 months ago
2010
206
Voted
GECCO
2011
Springer
14 years 11 months ago
2011
Springer
166
Voted
ICAART
2011
INSTICC
14 years 11 months ago
2011
INSTICC
312
click to vote
CADE
2011
Springer
14 years 7 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...
193
click to vote
AMAI
2004
Springer
16 years 25 days 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...