%0 Conference Paper %1 conf/lpnmr/NiskanenMBJ22 %A Niskanen, Andreas %A Mustonen, Jere %A Berg, Jeremias %A Järvisalo, Matti %B LPNMR %D 2022 %E Gottlob, Georg %E Inclezan, Daniela %E Maratea, Marco %I Springer %K dblp %P 301-314 %T Computing Smallest MUSes of Quantified Boolean Formulas. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2022.html#NiskanenMBJ22 %V 13416 %@ 978-3-031-15707-3

@inproceedings{conf/lpnmr/NiskanenMBJ22, added-at = {2024-02-05T00:00:00.000+0100}, author = {Niskanen, Andreas and Mustonen, Jere and Berg, Jeremias and Järvisalo, Matti}, biburl = {https://www.bibsonomy.org/bibtex/2da09b61af9943912fb436fcc3af4a846/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2022}, editor = {Gottlob, Georg and Inclezan, Daniela and Maratea, Marco}, ee = {https://doi.org/10.1007/978-3-031-15707-3_23}, interhash = {943af2893178a12972cdc1a43b6dbe2c}, intrahash = {da09b61af9943912fb436fcc3af4a846}, isbn = {978-3-031-15707-3}, keywords = {dblp}, pages = {301-314}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T16:58:14.000+0200}, title = {Computing Smallest MUSes of Quantified Boolean Formulas.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2022.html#NiskanenMBJ22}, volume = 13416, year = 2022 }