On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks.

Susmit Jha, Vasumathi Raman, Sanjit A. Seshia

Browse the full FMCAD paper archive.