Solving Weighted Abduction via Max-SAT Solvers.
Yoichi SasakiTakanori MaeharaTakumi AkazakiKazeto YamamotoKunihiko SadamasaPublished in: FLAIRS Conference (2020)
Keyphrases
- max sat
- weighted max sat
- sat solvers
- sat solving
- maximum satisfiability
- sat instances
- graph coloring
- stochastic local search
- sat problem
- variable ordering
- boolean satisfiability
- max sat solver
- search algorithm
- branch and bound algorithm
- lower bound
- orders of magnitude
- random sat instances
- satisfiability problem
- branch and bound
- sat encodings
- constraint satisfaction
- boolean formula
- unit propagation
- tabu search
- search space
- unsatisfiable cores
- propositional satisfiability
- search strategies
- search tree
- clause learning
- belief revision
- linear programming
- logic programs
- constraint programming
- search strategy
- phase transition
- genetic algorithm