Publication:5687270
From MaRDI portal
zbMath0864.90092MaRDI QIDQ5687270
Mauricio G. C. Resende, Thomas A. Feo
Publication date: 11 December 1996
artificial intelligence; local search; satisfiability; logic; greedy randomized adaptive search procedure
68P10: Searching and sorting
68R05: Combinatorics in computer science
90C27: Combinatorial optimization
94C12: Fault detection; testing in circuits and networks
90C09: Boolean programming
68T99: Artificial intelligence
Related Items
Short-term work scheduling with job assignment flexibility for a multi-fleet transport system, A GRASP algorithm to solve the unicost set covering problem, Solving weighted MAX-SAT via global equilibrium search, SAT problems with chains of dependent variables, Greedy randomized adaptive search procedures