[Back]


Talks and Poster Presentations (with Proceedings-Entry):

N. Creignou, U. Egly, M. Seidl:
"A Framework for the Specification of Random SAT and QSAT Formulas";
Talk: 6th International Conference on Tests and Proofs (TAP 2012), Prague, Czech Republic; 2012-05-31 - 2012-06-01; in: "Proceedings of the 6th International Conference on Tests and Proofs (TAP 2012)", Springer, Heidelberg (2012), ISBN: 978-3-642-30472-9; 163 - 168.



English abstract:
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.


Electronic version of the publication:
http://www.springerlink.com/content/418j60867r26251p/?MUD=MP



Related Projects:
Project Head Martina Seidl:
FAME: Formalisierung und Handhabung von Evolution in modellbasierter Softwareentwicklung


Created from the Publication Database of the Vienna University of Technology.