%0 Conference Paper %1 conf/sat/JabsBNJ22 %A Jabs, Christoph %A Berg, Jeremias %A Niskanen, Andreas %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 12:1-12:23 %T MaxSAT-Based Bi-Objective Boolean Optimization. %U http://dblp.uni-trier.de/db/conf/sat/sat2022.html#JabsBNJ22 %V 236 %@ 978-3-95977-242-6

@inproceedings{conf/sat/JabsBNJ22, added-at = {2024-02-05T00:00:00.000+0100}, author = {Jabs, Christoph and Berg, Jeremias and Niskanen, Andreas and Järvisalo, Matti}, biburl = {https://www.bibsonomy.org/bibtex/23aae5b49b46368508fa9bd12fbd31ba8/dblp}, booktitle = {SAT}, crossref = {conf/sat/2022}, editor = {Meel, Kuldeep S. and Strichman, Ofer}, ee = {https://doi.org/10.4230/LIPIcs.SAT.2022.12}, interhash = {1dfd44768b39840256c788791730ac69}, intrahash = {3aae5b49b46368508fa9bd12fbd31ba8}, isbn = {978-3-95977-242-6}, keywords = {dblp}, pages = {12:1-12:23}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T19:21:35.000+0200}, title = {MaxSAT-Based Bi-Objective Boolean Optimization.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2022.html#JabsBNJ22}, volume = 236, year = 2022 }