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).
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Areces Carlos : Connect in order to contact the contributor
https://inria.hal.science/inria-00000317
Submitted on : Tuesday, October 4, 2005-8:00:35 PM
Last modification on : Friday, March 24, 2023-2:52:47 PM