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

Susmit Jha Vasumathi Raman Sanjit A. Seshia

Published in: FMCAD (2016)

Keyphrases

case study
smart card
semi automated
database
test bed
texture synthesis
fully automated
low cost
program synthesis
automated analysis
context sensitive
combinatorial optimization
reinforcement learning
database systems
e learning
artificial intelligence
information retrieval
neural network
data sets
real time