A Framework for the Specification of Random SAT and QSAT Formulas
- Cite this paper as:
- Creignou N., Egly U., Seidl M. (2012) A Framework for the Specification of Random SAT and QSAT Formulas. In: Brucker A.D., Julliand J. (eds) Tests and Proofs. TAP 2012. Lecture Notes in Computer Science, vol 7305. Springer, Berlin, Heidelberg
We present the framework [q]bfGen which allows the declarative specification of random models for generating SAT and QSAT formulas not necessarily in (prenex) conjunctive normal form. To this end, [q]bfGen realizes a generic formula generator which creates formula instances by interpreting the random model specification expressed in XML. Consequently, the implementation of specific random formula generators becomes obsolete, because our framework subsumes their functionality.
Unable to display preview. Download preview PDF.