Login / Signup
Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT.
Lukas Kroc
Ashish Sabharwal
Carla P. Gomes
Bart Selman
Published in:
IJCAI (2009)
Keyphrases
</>
upper bound
databases
combinatorial optimization
artificial neural networks
branch and bound algorithm
selection strategy