hGen: A random CNF formula generator for hybrid languages

Authors
  • C.E. Areces
  • J.M. Heguiabehere
Publication date 2003
Book title Proceedings of Methods for Modalities 3, September
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Note pag.?
Permalink to this page
Back