%0 Conference Paper %1 conf/fmcad/JhaRS16 %A Jha, Susmit %A Raman, Vasumathi %A Seshia, Sanjit A. %B FMCAD %D 2016 %E Piskac, Ruzica %E Talupur, Muralidhar %I IEEE %K dblp %P 81-84 %T On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2016.html#JhaRS16 %@ 978-0-9835678-6-8

@inproceedings{conf/fmcad/JhaRS16, added-at = {2017-03-31T00:00:00.000+0200}, author = {Jha, Susmit and Raman, Vasumathi and Seshia, Sanjit A.}, biburl = {https://www.bibsonomy.org/bibtex/2d7303a769b4abafbfc3baa770027dc0e/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2016}, editor = {Piskac, Ruzica and Talupur, Muralidhar}, ee = {http://dx.doi.org/10.1109/FMCAD.2016.7886664}, interhash = {730d7126d2c3b698660eeb0a0de92926}, intrahash = {d7303a769b4abafbfc3baa770027dc0e}, isbn = {978-0-9835678-6-8}, keywords = {dblp}, pages = {81-84}, publisher = {IEEE}, timestamp = {2017-04-01T11:35:34.000+0200}, title = {On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2016.html#JhaRS16}, year = 2016 }