The SATisfiability problem and its impact.

Agostino Dovier

Published in: CILC (2019)

Keyphrases

satisfiability problem
np complete
temporal logic
search algorithm
stochastic local search algorithms
sat problem
phase transition
stochastic local search
solving hard
pspace complete
max sat
sat instances
database
finite domain
conjunctive normal form
model checking
evolutionary algorithm
weighted max sat