Emmanuel Arrighi, Pål Grønås Drange, Kenneth Langedal, Farhad Vadiee, Martin Vatshelle, Petra Wolf 0002. PACE Solver Description: Zygosity. In Neeldhara Misra, Magnus Wahlström, editors, 18th International Symposium on Parameterized and Exact Computation, IPEC 2023, September 6-8, 2023, Amsterdam, The Netherlands. Volume 285 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]
@inproceedings{ArrighiDLVV023,
title = {PACE Solver Description: Zygosity},
author = {Emmanuel Arrighi and Pål Grønås Drange and Kenneth Langedal and Farhad Vadiee and Martin Vatshelle and Petra Wolf 0002},
year = {2023},
doi = {10.4230/LIPIcs.IPEC.2023.39},
url = {https://doi.org/10.4230/LIPIcs.IPEC.2023.39},
researchr = {https://researchr.org/publication/ArrighiDLVV023},
cites = {0},
citedby = {0},
booktitle = {18th International Symposium on Parameterized and Exact Computation, IPEC 2023, September 6-8, 2023, Amsterdam, The Netherlands},
editor = {Neeldhara Misra and Magnus Wahlström},
volume = {285},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-305-8},
}