2343 search results - page 13 / 469 » Visual-Concept Search Solved |
77
Voted
INFORMS
2010
14 years 11 months ago
2010
82
Voted
ICAART
2011
INSTICC
14 years 4 months ago
2011
INSTICC
190
Voted
CADE
2011
Springer
14 years 22 days 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...
101
Voted
AMAI
2004
Springer
15 years 6 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...