An Improved Exact Algorithm for the Exact Satisfiability Problem.

Published in: CoRR (2020)

Keyphrases

satisfiability problem
optimal solution
dynamic programming
simulated annealing
randomly generated
decision procedures
search algorithm
cellular automata
search strategy
temporal logic