Login / Signup
Bounded Satisfiability for PCTL
Nathalie Bertrand
John Fearnley
Sven Schewe
Published in:
CoRR (2012)
Keyphrases
</>
sat problem
satisfiability problem
np complete
phase transition
randomly generated
sat solving
decision procedures
bounded treewidth
data mining
objective function
genetic algorithm
case study
search algorithm
computational complexity
boolean formula