Lingeling and Friends Entering the SAT Challenge 2012 (bibtex)
by A. Biere
Reference:
Lingeling and Friends Entering the SAT Challenge 2012A. BiereProc. of SAT Challenge 2012: Solver and Benchmark Descriptions (A. Balint, A. Belov, A. Diepold, S. Gerber, M. Järvisalo, C. Sinz, eds.), volume B-2012-2 of Department of Computer Science Series of Publications B, University of Helsinki, pages 33-34, 2012.
Bibtex Entry:
@inproceedings{Biere-SC2012,
title = {Lingeling and Friends Entering the {SAT Challenge} 2012},
url = {/pubpdf/Lingeling_and_Friends_Entering_the__SAT_Challenge__2012.pdf},
series = {Department of Computer Science Series of Publications B, University
of Helsinki},
booktitle = {Proc.~of SAT Challenge 2012: Solver and Benchmark Descriptions},
author = {A. Biere},
volume = {B-2012-2},
editor = {A. Balint and A. Belov and A. Diepold and S. Gerber and M. J\"{a}rvisalo
and C. Sinz},
year = {2012},
pages = {33-34},
}
Powered by bibtexbrowser