Simulating Circuit-Level Simplifications on CNF (bibtex)
by Matti Järvisalo, Armin Biere, Marijn Heule
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:
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 = {},
pages = {1-37},
Powered by bibtexbrowser