A New General Method to Generate Random Modal Formulae for Testing Decision Procedures
From Tetherless World Wiki
Peter F. Patel-Schneider, Roberto Sebastiani - A New General Method to Generate Random Modal Formulae for Testing Decision Procedures. In J. Artif. Intell. Res. (JAIR) 18:351-389, 2003. (Bibtex)Author : Peter F. Patel-Schneider, Roberto Sebastiani
Title : A New General Method to Generate Random Modal Formulae for Testing Decision Procedures
In : J. Artif. Intell. Res. (JAIR) -
Address :
Date : 2003
Title : A New General Method to Generate Random Modal Formulae for Testing Decision Procedures
In : J. Artif. Intell. Res. (JAIR) -
Address :
Date : 2003
| Comments Add New Comment (refresh after adding) | |
|---|---|
Facts about A New General Method to Generate Random Modal Formulae for Testing Decision ProceduresRDF feed
| Has author | Peter F. Patel-Schneider +, and Roberto Sebastiani + |
| Has identifier | DBLP:journals/jair/Patel-SchneiderS03 + |
| 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 + |
