On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity.

Wieslaw Szwast Lidia Tendera

Published in: LPAR (2005)

Keyphrases

satisfiability problem
guarded fragment
np complete
temporal logic
search algorithm
phase transition
sat problem
sat instances
stochastic local search algorithms
randomly generated
decision procedures
conjunctive normal form