%0 Conference Paper %1 conf/cp/JabsBIJ23 %A Jabs, Christoph %A Berg, Jeremias %A Ihalainen, Hannes %A Järvisalo, Matti %B CP %D 2023 %E Yap, Roland H. C. %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 18:1-18:20 %T Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization. %U http://dblp.uni-trier.de/db/conf/cp/cp2023.html#JabsBIJ23 %V 280 %@ 978-3-95977-300-3

@inproceedings{conf/cp/JabsBIJ23, added-at = {2024-02-05T00:00:00.000+0100}, author = {Jabs, Christoph and Berg, Jeremias and Ihalainen, Hannes and Järvisalo, Matti}, biburl = {https://www.bibsonomy.org/bibtex/26e56820acfc948d5540bb5874012858c/dblp}, booktitle = {CP}, crossref = {conf/cp/2023}, editor = {Yap, Roland H. C.}, ee = {https://doi.org/10.4230/LIPIcs.CP.2023.18}, interhash = {62c0612b86e3d8283341ed2b21e67cd9}, intrahash = {6e56820acfc948d5540bb5874012858c}, isbn = {978-3-95977-300-3}, keywords = {dblp}, pages = {18:1-18:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T22:50:03.000+0200}, title = {Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2023.html#JabsBIJ23}, volume = 280, year = 2023 }