A New General Method to Generate Random Modal Formulae for Testing Decision Procedures

Peter F. Patel-Schneider Roberto Sebastiani

Published in: CoRR (2011)

Keyphrases

decision procedures
modal logic
databases
computational complexity
generation method
query processing
special case
hidden markov models
graphical models