Inprocessing Rules (bibtex)
by M. Järvisalo, M. Heule, A. Biere
Inprocessing RulesM. Järvisalo, M. Heule, A. BiereProc. 6th Intl. Joint Conf. on Automated Reasoning (IJCAR'12), volume 7364 of LNCS, pages 355-370, 2012, Springer.Note: Reported 2011 too, now formally published
Bibtex Entry:
publisher = {Springer},
note = {Reported 2011 too, now formally published},
title = {Inprocessing Rules},
url = {/pubpdf/Inprocessing_Rules.pdf},
series = {LNCS},
booktitle = {Proc.~6th Intl.~Joint Conf.~on Automated Reasoning (IJCAR'12)},
author = {M. J\"{a}rvisalo and M. Heule and A. Biere},
volume = {7364},
year = {2012},
pages = {355-370},
Powered by bibtexbrowser