Satisfiability Problems for Finite Groups.

Pawel M. Idziak Piotr Kawalek Jacek Krzaczkowski Armin Weiß

Published in: ICALP (2022)

Keyphrases

satisfiability problem
np complete
phase transition
search algorithm
temporal logic
pspace complete
sat problem
stochastic local search algorithms
solving hard
sat instances
stochastic local search
davis putnam
conjunctive normal form
orders of magnitude
finite domain
mazurkiewicz traces