Quantum Graph-State Synthesis with SAT.

Sebastiaan Brand, Tim Coopmans, Alfons Laarman

Browse the full SAT paper archive.