Simulating Circuit-Level Simplifications on CNF (bibtex)
by Matti Järvisalo, Armin Biere, Marijn Heule
Reference:
Simulating Circuit-Level Simplifications on CNFMatti Järvisalo, Armin Biere, Marijn HeuleJournal of Automated Reasoning, pages 1-37, Springer Netherlands.Note: 10.1007/s10817-011-9239-9
Bibtex Entry:
@article{JBH-JAR,
publisher = {Springer Netherlands},
issn = {0168-7433},
keyword = {Computer Science},
title = {Simulating Circuit-Level Simplifications on CNF},
url = {/pubpdf/Simulating_Circuit-Level_Simplifications_on_CNF.pdf},
journal = {Journal of Automated Reasoning},
author = {J{\"a}rvisalo, Matti and Biere, Armin and Heule, Marijn},
note = {10.1007/s10817-011-9239-9},
affiliation = {Department of Computer Science, University of Helsinki, PO Box 68, 00014 Helsinki, Finland},
link = {http://dx.doi.org/10.1007/s10817-011-9239-9},
pages = {1-37},
}
Powered by bibtexbrowser