The Use of Max-Sat for Optimal Choice of Automated Theory Repairs.

Marius Urbonas Alan Bundy Juan Casanova Xue Li

Published in: SGAI Conf. (2020)

Keyphrases

max sat
weighted max sat
lower bound
branch and bound
branch and bound algorithm
sat solvers
dynamic programming
integrity constraints
tabu search
satisfiability problem
optimal solution
linear programming
stochastic local search