Complexity of inverse constraint problems and a dichotomy for the inverse satisfiability problem.

Victor Lagerkvist Biman Roy

Published in: J. Comput. Syst. Sci. (2021)

Keyphrases

satisfiability problem
pspace complete
np complete
constraint problems
temporal logic
randomly generated
constraint satisfaction problems
model checking
stochastic local search
stochastic local search algorithms
reinforcement learning
search algorithm
upper bound
object oriented
orders of magnitude
sat problem