%0 Conference Paper %1 conf/tacas/BendikC20 %A Bendík, Jaroslav %A Cerná, Ivana %B TACAS (1) %D 2020 %E Biere, Armin %E Parker, David %I Springer %K dblp %P 135-152 %T MUST: Minimal Unsatisfiable Subsets Enumeration Tool. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2020-1.html#BendikC20 %V 12078 %@ 978-3-030-45190-5

@inproceedings{conf/tacas/BendikC20, added-at = {2021-05-14T00:00:00.000+0200}, author = {Bendík, Jaroslav and Cerná, Ivana}, biburl = {https://www.bibsonomy.org/bibtex/2a38b3350164c9156299e4d071a07e1a7/dblp}, booktitle = {TACAS (1)}, crossref = {conf/tacas/2020-1}, editor = {Biere, Armin and Parker, David}, ee = {https://doi.org/10.1007/978-3-030-45190-5_8}, interhash = {28b5784cd46eeeb42e149e4e44a3cbf3}, intrahash = {a38b3350164c9156299e4d071a07e1a7}, isbn = {978-3-030-45190-5}, keywords = {dblp}, pages = {135-152}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:41.000+0200}, title = {MUST: Minimal Unsatisfiable Subsets Enumeration Tool.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2020-1.html#BendikC20}, volume = 12078, year = 2020 }