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

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @article{DBLP:journals/jair/Patel-SchneiderS03, 

 author    = {Peter F. Patel-Schneider and
              Roberto Sebastiani},
 title     = {A New General Method to Generate Random Modal Formulae for
              Testing Decision Procedures},
 journal   = {J. Artif. Intell. Res. (JAIR)},
 volume    = {18},
 year      = {2003},
 pages     = {351-389},
 ee        = {http://www.cs.washington.edu/research/jair/abstracts/patelschneider03a.html},
 bibsource = {DBLP, http://dblp.uni-trier.de}

}

\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/A_New_General_Method_to_Generate_Random_Modal_Formulae_for_Testing_Decision_Procedures"
Personal tools