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.
Views
Personal tools