top

hGen: A Random CNF Formula Generator for Hybrid Languages

C. Areces and J. Heguiabehere. hGen: A Random CNF Formula Generator for Hybrid Languages. In Methods for Modalities 3 - M4M-3, Nancy, France, Nancy, France, September 2003.

Download: [pdf] 

Abstract:

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

BibTeX: (download)

@INPROCEEDINGS{areces03,
  author = {C. Areces and J. Heguiabehere},
  title = {hGen: A Random CNF Formula Generator for Hybrid Languages},
  booktitle = {Methods for Modalities 3 - M4M-3, Nancy, France},
  year = {2003},
  address = {Nancy, France},
  month = {September},
  abstract = {
	hGen is a random CNF (conjunctive normal form) generator of formulas
	for sublanguages of H(@,\downarrow, A).}
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33