On Satisfiability Problems with a Linear Structure.

Serge Gaspers Christos H. Papadimitriou Sigve Hortemo Sæther Jan Arne Telle

Published in: IPEC (2016)

Keyphrases

satisfiability problem
np complete
search algorithm
phase transition
temporal logic
sat problem
davis putnam
dynamic programming
pspace complete