Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces.
Paul GastinDietrich KuskePublished in: Inf. Comput. (2010)
Keyphrases
- mazurkiewicz traces
- satisfiability problem
- temporal logic
- search algorithm
- np complete
- phase transition
- model checking
- sat problem
- modal logic
- max sat
- decision procedures
- stochastic local search
- stochastic local search algorithms
- branch and bound
- constraint satisfaction problems
- logic programs
- sat instances
- pspace complete
- concurrent systems
- knowledge representation