{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,28]],"date-time":"2026-10-28T16:43:25Z","timestamp":1793205805373,"version":"4.5.0"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"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,7]]},"DOI":"10.1109\/dac18072.2020.9218510","type":"proceedings-article","created":{"date-parts":[[2020,10,9]],"date-time":"2020-10-09T19:57:03Z","timestamp":1602273423000},"page":"1-6","source":"Crossref","is-referenced-by-count":8,"title":["Circuit Learning for Logic Regression on High Dimensional Boolean Space"],"prefix":"10.1109","author":[{"given":"Pei-Wei","family":"Chen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yu-Ching","family":"Huang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cheng-Lin","family":"Lee","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jie-Hong Roland","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1198\/1061860032238"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TETC.2013.2294918"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/268437.268448"},{"key":"ref4","volume-title":"Black-box Testing: Techniques for Functional Testing of Software and Systems","author":"Beizer","year":"1995"},{"key":"ref5","article-title":"2019 ICCAD CAD Contest Problem A: Logic regression on high dimensional boolean space","author":"Huang","year":"2019"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40935-6_4"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1164"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/129712.129747"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/138027.138061"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2008.07.004"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.2003.1238193"},{"key":"ref13","article-title":"Learning using local membership queries","author":"Awasthi","year":"2012"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BF00993160"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007311411259"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/62212.62238"},{"key":"ref17","article-title":"FRAIGs: A unifying representation for logic synthesis and verification","author":"Mishchenko","year":"2005","journal-title":"ERL Technical Report"},{"key":"ref18","article-title":"ABC: A system for sequential synthesis and verification"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2068716.2068720"}],"event":{"name":"2020 57th ACM\/IEEE Design Automation Conference (DAC)","location":"San Francisco, CA, USA","start":{"date-parts":[[2020,7,20]]},"end":{"date-parts":[[2020,7,24]]}},"container-title":["2020 57th ACM\/IEEE Design Automation Conference (DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9211868\/9218488\/09218510.pdf?arnumber=9218510","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T00:55:00Z","timestamp":1706057700000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9218510\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/dac18072.2020.9218510","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}