%0 Conference Paper %1 conf/iwpec/KieselS22 %A Kiesel, Rafael %A Schidler, André %B IPEC %D 2022 %E Dell, Holger %E Nederlof, Jesper %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 32:1-32:4 %T PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT. %U http://dblp.uni-trier.de/db/conf/iwpec/ipec2022.html#KieselS22 %V 249 %@ 978-3-95977-260-0

@inproceedings{conf/iwpec/KieselS22, added-at = {2022-12-14T00:00:00.000+0100}, author = {Kiesel, Rafael and Schidler, André}, biburl = {https://www.bibsonomy.org/bibtex/24d1596ab74bd5cf465a08cedd6fac45a/dblp}, booktitle = {IPEC}, crossref = {conf/iwpec/2022}, editor = {Dell, Holger and Nederlof, Jesper}, ee = {https://doi.org/10.4230/LIPIcs.IPEC.2022.32}, interhash = {f36cfff8051b97d13ad2ce0248838490}, intrahash = {4d1596ab74bd5cf465a08cedd6fac45a}, isbn = {978-3-95977-260-0}, keywords = {dblp}, pages = {32:1-32:4}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T02:32:33.000+0200}, title = {PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT.}, url = {http://dblp.uni-trier.de/db/conf/iwpec/ipec2022.html#KieselS22}, volume = 249, year = 2022 }