Sebastiaan Brand, Tim Coopmans, Alfons Laarman. Quantum Graph-State Synthesis with SAT. In Matti Järvisalo, Daniel Le Berre, editors, Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023. Volume 3545 of CEUR Workshop Proceedings, pages 1-13, CEUR-WS.org, 2023. [doi]
@inproceedings{BrandCL23,
title = {Quantum Graph-State Synthesis with SAT},
author = {Sebastiaan Brand and Tim Coopmans and Alfons Laarman},
year = {2023},
url = {https://ceur-ws.org/Vol-3545/paper1.pdf},
researchr = {https://researchr.org/publication/BrandCL23},
cites = {0},
citedby = {0},
pages = {1-13},
booktitle = {Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023},
editor = {Matti Järvisalo and Daniel Le Berre},
volume = {3545},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}