C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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