%0 Conference Paper %1 conf/sat/NiskanenBJ22 %A Niskanen, Andreas %A Berg, Jeremias %A Järvisalo, Matti %B SAT %D 2022 %E Meel, Kuldeep S. %E Strichman, Ofer %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 14:1-14:19 %T Incremental Maximum Satisfiability. %U http://dblp.uni-trier.de/db/conf/sat/sat2022.html#NiskanenBJ22 %V 236 %@ 978-3-95977-242-6

@inproceedings{conf/sat/NiskanenBJ22, added-at = {2024-02-05T00:00:00.000+0100}, author = {Niskanen, Andreas and Berg, Jeremias and Järvisalo, Matti}, biburl = {https://www.bibsonomy.org/bibtex/22d76d4e8410d4af1db60ed65f9516c64/dblp}, booktitle = {SAT}, crossref = {conf/sat/2022}, editor = {Meel, Kuldeep S. and Strichman, Ofer}, ee = {https://doi.org/10.4230/LIPIcs.SAT.2022.14}, interhash = {25a2bbb94886b769788e644dd628912d}, intrahash = {2d76d4e8410d4af1db60ed65f9516c64}, isbn = {978-3-95977-242-6}, keywords = {dblp}, pages = {14:1-14:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T19:21:35.000+0200}, title = {Incremental Maximum Satisfiability.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2022.html#NiskanenBJ22}, volume = 236, year = 2022 }