A Framework for the Specification of Random SAT and QSAT Formulas (bibtex)
by N. Creignou, U. Egly, M. Seidl
Reference:
A Framework for the Specification of Random SAT and QSAT FormulasN. Creignou, U. Egly, M. SeidlProceedings of the 6th International Conference on Tests and Proofs (TAP), 2012.
Bibtex Entry:
@inproceedings{CES-TAP-2012,
title = {A Framework for the Specification of Random {SAT} and {QSAT} Formulas},
url = {/pubpdf/A_Framework_for_the_Specification_of_Random__SAT__and__QSAT__Formulas.pdf},
series = {LNCS},
booktitle = {Proceedings of the 6th International Conference on Tests and Proofs
(TAP)},
author = {Creignou, N. and Egly, U. and Seidl, M.},
year = {2012},
}
Powered by bibtexbrowser