hGen: A Random CNF Formula Generator for Hybrid Languages - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2003

hGen: A Random CNF Formula Generator for Hybrid Languages

Abstract

hGen is a random CNF (conjunctive normal form) generator of formulas for sublanguages of H(@,\downarrow, A).
No file

Dates and versions

inria-00000317 , version 1 (04-10-2005)

Identifiers

  • HAL Id : inria-00000317 , version 1

Cite

Carlos Areces, Juan Heguiabehere. hGen: A Random CNF Formula Generator for Hybrid Languages. Methods for Modalities 3 - M4M-3, 2003, Nancy, France. ⟨inria-00000317⟩
1258 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More