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

From Tetherless World Wiki

Jump to: navigation, search
 A New General Method to Generate Random Modal Formulae for Testing Decision Procedures
Has publishing details  18:351-389, 2003
Has title  A New General Method to Generate Random Modal Formulae for Testing Decision Procedures
Has where published  J. Artif. Intell. Res. (JAIR)
Has year  2003
Has author  Peter F. Patel-Schneider +, Roberto Sebastiani +
Has identifier  DBLP:journals/jair/Patel-SchneiderS03 +
Categories  Journal Paper +

 

Enter the name of the page to start browsing from.
Retrieved from "http://tw.rpi.edu/wiki/Special:Browse"
Views
Personal tools