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]
Abstract is missing.