Quantum Graph-State Synthesis with SAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Sebastiaan Brand' in GoogleThis author has not been identified. Look up 'Tim Coopmans' in GoogleThis author has not been identified. Look up 'Alfons Laarman' in Google

runs on WebDSL