A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction.
Jianmin ZhangShengYu ShenSikun LiPublished in: ICCSA (3) (2007)
Keyphrases
- search algorithm
- unsatisfiable cores
- max sat
- heuristic function
- branch and bound
- search strategy
- search space
- tabu search
- heuristic search
- search methods
- search procedure
- hill climbing
- search strategies
- tree search
- variable ordering
- satisfiability problem
- search tree
- optimal solution
- hidden structure
- stochastic local search
- constraint satisfaction
- maximum satisfiability
- simulated annealing