%0 Conference Paper %1 conf/sat/BalabanovI15 %A Balabanov, Valeriy %A Ivrii, Alexander %B SAT %D 2015 %E Heule, Marijn %E Weaver, Sean A. %I Springer %K dblp %P 17-32 %T Speeding up MUS Extraction with Preprocessing and Chunking. %U http://dblp.uni-trier.de/db/conf/sat/sat2015.html#BalabanovI15 %V 9340 %@ 978-3-319-24317-7

@inproceedings{conf/sat/BalabanovI15, added-at = {2017-05-23T00:00:00.000+0200}, author = {Balabanov, Valeriy and Ivrii, Alexander}, biburl = {https://www.bibsonomy.org/bibtex/2971db082b1594b3eeea17c318285a73b/dblp}, booktitle = {SAT}, crossref = {conf/sat/2015}, editor = {Heule, Marijn and Weaver, Sean A.}, ee = {https://doi.org/10.1007/978-3-319-24318-4_3}, interhash = {b7ac2212a4ad9c7e71c2b224a5d2f8d5}, intrahash = {971db082b1594b3eeea17c318285a73b}, isbn = {978-3-319-24317-7}, keywords = {dblp}, pages = {17-32}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-22T11:54:42.000+0200}, title = {Speeding up MUS Extraction with Preprocessing and Chunking.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2015.html#BalabanovI15}, volume = 9340, year = 2015 }