{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,3]],"date-time":"2025-11-03T13:42:24Z","timestamp":1762177344416},"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":5,"title":["Circuit Learning for Logic Regression on High Dimensional Boolean Space"],"prefix":"10.1109","author":[{"given":"Pei-Wei","family":"Chen","sequence":"first","affiliation":[]},{"given":"Yu-Ching","family":"Huang","sequence":"additional","affiliation":[]},{"given":"Cheng-Lin","family":"Lee","sequence":"additional","affiliation":[]},{"given":"Jie-Hong Roland","family":"Jiang","sequence":"additional","affiliation":[]}],"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"},{"volume-title":"Black-box Testing: Techniques for Functional Testing of Software and Systems","year":"1995","author":"Beizer","key":"ref4"},{"article-title":"2019 ICCAD CAD Contest Problem A: Logic regression on high dimensional boolean space","year":"2019","author":"Huang","key":"ref5"},{"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"},{"article-title":"Learning using local membership queries","year":"2012","author":"Awasthi","key":"ref13"},{"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)","start":{"date-parts":[[2020,7,20]]},"location":"San Francisco, CA, USA","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]]}}}