On Satisfiability Problems with a Linear Structure.

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

Published in: CoRR (2016)

Keyphrases

satisfiability problem
np complete
search algorithm
temporal logic
phase transition
genetic algorithm
lower bound
sat instances
davis putnam