{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,3]],"date-time":"2025-10-03T09:05:28Z","timestamp":1759482328080,"version":"3.37.3"},"reference-count":13,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2024,4,1]],"date-time":"2024-04-01T00:00:00Z","timestamp":1711929600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,4,1]],"date-time":"2024-04-01T00:00:00Z","timestamp":1711929600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,4,1]],"date-time":"2024-04-01T00:00:00Z","timestamp":1711929600000},"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":["IEEE Trans. Circuits Syst. II"],"published-print":{"date-parts":[[2024,4]]},"DOI":"10.1109\/tcsii.2023.3335861","type":"journal-article","created":{"date-parts":[[2023,11,28]],"date-time":"2023-11-28T19:37:33Z","timestamp":1701200253000},"page":"2039-2043","source":"Crossref","is-referenced-by-count":1,"title":["Concealing Exposed Circuit Features Through a MaxSAT-Based Logic Locking Method"],"prefix":"10.1109","volume":"71","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6346-7589","authenticated-orcid":false,"given":"Mohammad Moradi","family":"Shahmiri","sequence":"first","affiliation":[{"name":"Design, Verification and Debugging of Embedded Systems Laboratory, School of Electrical and Computer Engineering, College of Engineering, University of Tehran, Tehran, Iran"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4436-4597","authenticated-orcid":false,"given":"Bijan","family":"Alizadeh","sequence":"additional","affiliation":[{"name":"Design, Verification and Debugging of Embedded Systems Laboratory, School of Electrical and Computer Engineering, College of Engineering, University of Tehran, Tehran, Iran"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2021.3100275"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/AsianHOST.2018.8607163"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2021.3089555"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.23919\/DATE54114.2022.9774603"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.23919\/DATE51398.2021.9474039"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3431389"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2021.3057576"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.23919\/DATE48585.2020.9116259"},{"key":"ref9","first-page":"613","article-title":"MaxSAT, hard and soft constraints","volume-title":"Handbook of Satisfiability","author":"Li","year":"2009"},{"volume-title":"MaxSAT evaluation 2023: Solver and benchmark descriptions","year":"2023","author":"Berg","key":"ref10"},{"key":"ref11","first-page":"2756","article-title":"A neutral netlist of 10 combinational benchmark circuits and a target translator in FORTRAN","volume-title":"Proc. Int. Symp. Circuits Syst.","author":"Berglez"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1989.100747"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/54.867894"}],"container-title":["IEEE Transactions on Circuits and Systems II: Express Briefs"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8920\/10480869\/10330643.pdf?arnumber=10330643","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T20:51:46Z","timestamp":1711659106000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10330643\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4]]},"references-count":13,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tcsii.2023.3335861","relation":{},"ISSN":["1549-7747","1558-3791"],"issn-type":[{"type":"print","value":"1549-7747"},{"type":"electronic","value":"1558-3791"}],"subject":[],"published":{"date-parts":[[2024,4]]}}}