Satisfiability of CTL* with constraints.

Claudia Carapelle Alexander Kartzow Markus Lohrey

Published in: CoRR (2013)

Keyphrases

bounded model checking
model checking
propositional logic
constraint satisfaction
temporal logic
global constraints
np complete
orders of magnitude
constraint programming
search algorithm
phase transition
satisfiability problem
data dependencies
sat encodings
satisfiability testing
automata theoretic