Inprocessing Rules (bibtex)
by M. Järvisalo, M. Heule, A. Biere
Reference:
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:
@inproceedings{JarvisaloHeuleBiere-IJCAR12,
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