Bounded Satisfiability for PCTL.

Nathalie Bertrand John Fearnley Sven Schewe

Published in: CSL (2012)

Keyphrases

satisfiability problem
propositional logic
np complete
computational complexity
phase transition
sat problem
decision procedures
satisfiability testing
terminological reasoning
database
databases
social networks
expressive power