Factoring Out Assumptions to Speed Up MUS Extraction (bibtex)
by J.-M. Lagniez, A. Biere
Reference:
Factoring Out Assumptions to Speed Up MUS ExtractionJ.-M. Lagniez, A. BiereProc. 16th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT'13), volume 7962 of LNCS, pages 17 pages, 2013, Springer.
Bibtex Entry:
@inproceedings{LagniezBiere-SAT13,
publisher = {Springer},
title = {Factoring Out Assumptions to Speed Up {MUS} Extraction},
url = {/pubpdf/Factoring_Out_Assumptions_to_Speed_Up__MUS__Extraction.pdf},
series = {LNCS},
booktitle = {Proc.~16th Intl.~Conf.~on Theory and Applications of Satisfiability
Testing (SAT'13)},
author = {J.-M. Lagniez and A. Biere},
volume = {7962},
year = {2013},
pages = {17 pages},
}
Powered by bibtexbrowser