Quantum-Based SMT Solving for String Theory.

Beatrice Casey, Joanna C. S. Santos, Andrew Hennessee

Browse the full HPDC paper archive.