{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:04:34Z","timestamp":1729631074191,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/fmcad.2016.7886664","type":"proceedings-article","created":{"date-parts":[[2017,3,27]],"date-time":"2017-03-27T22:52:44Z","timestamp":1490655164000},"page":"81-84","source":"Crossref","is-referenced-by-count":0,"title":["On \u2203 \u2200 \u2203! solving: A case study on automated synthesis of magic card tricks"],"prefix":"10.1109","author":[{"given":"Susmit","family":"Jha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vasumathi","family":"Raman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sanjit A.","family":"Seshia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Encyclopedia of card tricks Courier Corp","year":"0","author":"hugard","key":"ref10"},{"key":"ref11","article-title":"A theory of formal synthesis via inductive learning","volume":"abs 1505 3953","author":"jha","year":"2015","journal-title":"CoRR"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.imavis.2005.05.007"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"327","DOI":"10.54870\/1551-3440.1111","article-title":"Magic math cards","volume":"5","author":"humble","year":"2008","journal-title":"The Mathematics Enthusiast"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679385"},{"key":"ref6","article-title":"Mathematical card tricks","author":"mulcahy","year":"2000","journal-title":"Whats New in Mathematics"},{"journal-title":"Mathematics magic and mystery Courier Corp","year":"2014","author":"gardner","key":"ref5"},{"key":"ref8","first-page":"337","article-title":"Z3: An efficient smt solver","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2591708.2591745"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993506"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1515\/9781400839384","author":"diaconis","year":"2011","journal-title":"Magical Mathematics The Mathematical Ideas That Animate Great Magic Tricks"}],"event":{"name":"2016 Formal Methods in Computer-Aided Design (FMCAD)","start":{"date-parts":[[2016,10,3]]},"location":"Mountain View, CA, USA","end":{"date-parts":[[2016,10,6]]}},"container-title":["2016 Formal Methods in Computer-Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7879555\/7886641\/07886664.pdf?arnumber=7886664","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,26]],"date-time":"2022-07-26T19:14:29Z","timestamp":1658862869000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7886664\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/fmcad.2016.7886664","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}