1. Home
    Item seperator
  3. Item seperator
    A New System and Methodology for Generating Random Modal Formulae

A New System and Methodology for Generating Random Modal Formulae

New Image

(PREVIOUS TITLE: A System and Methodology for Generating Random Modal Formulae) Previous methods for generating random modal formulae result either in flawed test sets of formulae that are too hard for current modal decision procedures and, also, unnatural. Modifying the generation process results in unflawed test sets and more-natural formulae that are better suited for current decision procedures.