GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability.
Gilles AudemardLaurent SimonPublished in: IJCAI (2007)
Keyphrases
- search algorithm
- max sat
- branch and bound
- search space
- search methods
- hill climbing
- search tree
- satisfiability problem
- search strategy
- tabu search
- greedy search
- heuristic search
- feature selection
- greedy algorithm
- information retrieval
- search problems
- sat problem
- greedy algorithms
- neural network
- dynamic programming
- lower bound
- computational complexity
- learning algorithm
- beam search
- graph search
- databases