Login / Signup
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