%0 Conference Paper %1 conf/iwpec/ArrighiDLVV023 %A Arrighi, Emmanuel %A Drange, Pål Grønås %A Langedal, Kenneth %A Vadiee, Farhad %A Vatshelle, Martin %A Wolf, Petra %B IPEC %D 2023 %E Misra, Neeldhara %E Wahlström, Magnus %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 39:1-39:3 %T PACE Solver Description: Zygosity. %U http://dblp.uni-trier.de/db/conf/iwpec/ipec2023.html#ArrighiDLVV023 %V 285 %@ 978-3-95977-305-8

@inproceedings{conf/iwpec/ArrighiDLVV023, added-at = {2024-02-05T00:00:00.000+0100}, author = {Arrighi, Emmanuel and Drange, Pål Grønås and Langedal, Kenneth and Vadiee, Farhad and Vatshelle, Martin and Wolf, Petra}, biburl = {https://www.bibsonomy.org/bibtex/2a6c58416150a3a237fb615662944fc53/dblp}, booktitle = {IPEC}, crossref = {conf/iwpec/2023}, editor = {Misra, Neeldhara and Wahlström, Magnus}, ee = {https://doi.org/10.4230/LIPIcs.IPEC.2023.39}, interhash = {a6db204919840742d00024196ae186e6}, intrahash = {a6c58416150a3a237fb615662944fc53}, isbn = {978-3-95977-305-8}, keywords = {dblp}, pages = {39:1-39:3}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T02:32:30.000+0200}, title = {PACE Solver Description: Zygosity.}, url = {http://dblp.uni-trier.de/db/conf/iwpec/ipec2023.html#ArrighiDLVV023}, volume = 285, year = 2023 }