%0 Conference Paper %1 conf/iwpec/MizutaniDS23 %A Mizutani, Yosuke %A Dursteler, David %A Sullivan, Blair D. %B IPEC %D 2023 %E Misra, Neeldhara %E Wahlström, Magnus %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 36:1-36:5 %T PACE Solver Description: Hydra Prime. %U http://dblp.uni-trier.de/db/conf/iwpec/ipec2023.html#MizutaniDS23 %V 285 %@ 978-3-95977-305-8

@inproceedings{conf/iwpec/MizutaniDS23, added-at = {2023-12-13T00:00:00.000+0100}, author = {Mizutani, Yosuke and Dursteler, David and Sullivan, Blair D.}, biburl = {https://www.bibsonomy.org/bibtex/253746f60a5fb9bac58908a2e1e876169/dblp}, booktitle = {IPEC}, crossref = {conf/iwpec/2023}, editor = {Misra, Neeldhara and Wahlström, Magnus}, ee = {https://doi.org/10.4230/LIPIcs.IPEC.2023.36}, interhash = {b36a211483579d4d8419a809497ab2c0}, intrahash = {53746f60a5fb9bac58908a2e1e876169}, isbn = {978-3-95977-305-8}, keywords = {dblp}, pages = {36:1-36:5}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T02:32:30.000+0200}, title = {PACE Solver Description: Hydra Prime.}, url = {http://dblp.uni-trier.de/db/conf/iwpec/ipec2023.html#MizutaniDS23}, volume = 285, year = 2023 }