%0 Conference Paper %1 conf/iwpec/LeonhardtDHKM0P23 %A Leonhardt, Alexander %A Dell, Holger %A Haak, Anselm %A Kammer, Frank %A Meintrup, Johannes %A Meyer, Ulrich %A Penschuck, Manuel %B IPEC %D 2023 %E Misra, Neeldhara %E Wahlström, Magnus %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 37:1-37:7 %T PACE Solver Description: Exact (GUTHMI) and Heuristic (GUTHM). %U http://dblp.uni-trier.de/db/conf/iwpec/ipec2023.html#LeonhardtDHKM0P23 %V 285 %@ 978-3-95977-305-8

@inproceedings{conf/iwpec/LeonhardtDHKM0P23, added-at = {2023-12-13T00:00:00.000+0100}, author = {Leonhardt, Alexander and Dell, Holger and Haak, Anselm and Kammer, Frank and Meintrup, Johannes and Meyer, Ulrich and Penschuck, Manuel}, biburl = {https://www.bibsonomy.org/bibtex/2608e99eaef827448b3d247aba781b944/dblp}, booktitle = {IPEC}, crossref = {conf/iwpec/2023}, editor = {Misra, Neeldhara and Wahlström, Magnus}, ee = {https://doi.org/10.4230/LIPIcs.IPEC.2023.37}, interhash = {3f1c16f5c39dcba39518928ce5861525}, intrahash = {608e99eaef827448b3d247aba781b944}, isbn = {978-3-95977-305-8}, keywords = {dblp}, pages = {37:1-37:7}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T02:32:30.000+0200}, title = {PACE Solver Description: Exact (GUTHMI) and Heuristic (GUTHM).}, url = {http://dblp.uni-trier.de/db/conf/iwpec/ipec2023.html#LeonhardtDHKM0P23}, volume = 285, year = 2023 }