{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:31:33Z","timestamp":1742401893235,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T00:00:00Z","timestamp":1601510400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T00:00:00Z","timestamp":1601510400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,10]]},"DOI":"10.1109\/iscas45731.2020.9180706","type":"proceedings-article","created":{"date-parts":[[2020,9,29]],"date-time":"2020-09-29T13:22:27Z","timestamp":1601385747000},"page":"1-5","source":"Crossref","is-referenced-by-count":2,"title":["Modeling SAT-Attack Search Complexity"],"prefix":"10.1109","author":[{"given":"Saran","family":"Phatharodom","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering, Drexel University, Philadelphia, PA 19104"}]},{"given":"Nagarajan","family":"Kandasamy","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Drexel University, Philadelphia, PA 19104"}]},{"given":"Ioannis","family":"Savidis","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Drexel University, Philadelphia, PA 19104"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/APCCAS.2018.8605696"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3060403.3060492"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2801220"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2018.8368625"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/11894063_29"},{"key":"ref15","first-page":"111","article-title":"The Effect of Scrambling CNFs","volume":"59","author":"biere","year":"2019","journal-title":"Proceedings of Pragmatics of SAT"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3060403.3060469"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2902961.2902972"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2010.24"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2014.6873671"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2019.8702683"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3133985"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2017.7951805"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66787-4_10"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23218"},{"key":"ref7","article-title":"Removal Attacks on Logic Locking and Camouflaging Techniques","author":"yasin","year":"2017","journal-title":"IEEE Transactions on Emerging Topics in Computing"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2016.7495588"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403631"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2015.7140252"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2019.2925387"}],"event":{"name":"2020 IEEE International Symposium on Circuits and Systems (ISCAS)","start":{"date-parts":[[2020,10,12]]},"location":"Seville, Spain","end":{"date-parts":[[2020,10,14]]}},"container-title":["2020 IEEE International Symposium on Circuits and Systems (ISCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9179985\/9180369\/09180706.pdf?arnumber=9180706","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,15]],"date-time":"2024-01-15T21:01:17Z","timestamp":1705352477000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9180706\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/iscas45731.2020.9180706","relation":{},"subject":[],"published":{"date-parts":[[2020,10]]}}}