{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:59:29Z","timestamp":1729630769092,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1109\/gensips.2012.6507757","type":"proceedings-article","created":{"date-parts":[[2013,5,3]],"date-time":"2013-05-03T20:40:59Z","timestamp":1367613659000},"page":"176-179","source":"Crossref","is-referenced-by-count":3,"title":["Determining gene function in boolean networks using boolean satisfiability"],"prefix":"10.1109","author":[{"given":"Pey-Chang Kent","family":"Lin","sequence":"first","affiliation":[]},{"given":"Sunil P.","family":"Khatri","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"17","DOI":"10.1109\/TCBB.2010.20"},{"key":"18","doi-asserted-by":"crossref","DOI":"10.1201\/9780203852569","author":"weinberg","year":"2006","journal-title":"The Biology of Cancer"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1109\/DAC.2001.156196"},{"year":"2007","author":"corbin","journal-title":"A SAT-Based Approach to Decipher Gene Regulatory Networks","key":"16"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1109\/43.59068"},{"year":"0","key":"14"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/ICCAD.1998.144252"},{"key":"12","first-page":"187","article-title":"Synthesis of Multiple Level Logic from Symbolic High-Level Description Languages","author":"lin","year":"1989","journal-title":"Proc Int Conf VLSI Des"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1109\/CDC.2010.5716936"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1016\/0022-5193(69)90015-0"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1038\/ng873"},{"key":"10","article-title":"Understanding SPFDs: A new method for specifying flexibility","author":"brayton","year":"0","journal-title":"Workshop Notes International Workshop on Logic Synthesis (Tahoe City CA) May 1997"},{"key":"7","first-page":"593","volume":"72","author":"karnaugh","year":"1953","journal-title":"Trans AIEE"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1016\/S0022-2836(61)80072-7"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1145\/2228360.2228493"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1093\/bioinformatics\/btq703"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/ICCAD.1996.569635"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/ICCAD.2001.968622"}],"event":{"name":"2012 IEEE International Workshop on Genomic Signal Processing and Statistics (GENSIPS)","start":{"date-parts":[[2012,12,2]]},"location":"Washington, DC, USA","end":{"date-parts":[[2012,12,4]]}},"container-title":["Proceedings 2012 IEEE International Workshop on Genomic Signal Processing and Statistics (GENSIPS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6504699\/6507707\/06507757.pdf?arnumber=6507757","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,16]],"date-time":"2022-02-16T01:03:14Z","timestamp":1644973394000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6507757\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/gensips.2012.6507757","relation":{},"subject":[],"published":{"date-parts":[[2012,12]]}}}