Satisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts.
Vasco M. ManquinhoJoão P. Marques SilvaPublished in: ICTAI (2005)
Keyphrases
- pseudo boolean optimization
- computational complexity
- search problems
- search strategies
- search methods
- learning algorithm
- stochastic local search
- computationally efficient
- search algorithm
- search space
- orders of magnitude
- information retrieval
- backtracking search
- exhaustive search
- computational cost
- significant improvement
- combinatorial optimization
- search strategy
- data structure
- np complete
- hill climbing
- objective function
- optimization problems