{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T02:00:20Z","timestamp":1706061620027},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2010,4,1]],"date-time":"2010-04-01T00:00:00Z","timestamp":1270080000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[2010,4]]},"DOI":"10.1109\/tc.2010.12","type":"journal-article","created":{"date-parts":[[2010,1,12]],"date-time":"2010-01-12T20:31:25Z","timestamp":1263328285000},"page":"457-467","source":"Crossref","is-referenced-by-count":22,"title":["To SAT or Not to SAT: Scalable Exploration of Functional Dependency"],"prefix":"10.1109","volume":"59","author":[{"given":"J.-H.R.","family":"Jiang","sequence":"first","affiliation":[]},{"family":"Chih-Chun Lee","sequence":"additional","affiliation":[]},{"given":"A.","family":"Mishchenko","sequence":"additional","affiliation":[]},{"family":"Chung-Yang Huang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"bibttc201004045720","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-5327-8_25"},{"key":"bibttc201004045722","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156198"},{"key":"bibttc201004045721","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(86)80028-1"},{"key":"bibttc201004045727","first-page":"358","article-title":"SAT-Based Logic Optimization and Resynthesis","author":"mishchenko","year":"2007","journal-title":"Proc Int'l Workshop Logic and Synthesis"},{"key":"bibttc201004045728","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391634"},{"key":"bibttc201004045729","article-title":"To SAT or Not to SAT: Ashenhurst Decomposition in a Large Scale","author":"lin","year":"2008","journal-title":"Proc Int'l Conf Computer-Aided Design"},{"key":"bibttc201004045723","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/11513988_6","article-title":"Interpolant-Based Transition Relation Approximation","author":"jhala","year":"2005","journal-title":"Proc Int'l Conf Computer Aided Verification"},{"key":"bibttc201004045724","year":"2005"},{"key":"bibttc201004045725","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1007\/3-540-61474-5_95","article-title":"VIS: A System for Verification and Synthesis","author":"brayton","year":"1996","journal-title":"Proc Int'l Conf Computer Aided Verification"},{"key":"bibttc201004045726","article-title":"Foundations of Hierarchical SAT-Solving","author":"novikov","year":"2004","journal-title":"Proc Int'l Workshop Boolean Problems"},{"key":"bibttc201004045711","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"bibttc201004045710","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"bibttc20100404579","first-page":"122","article-title":"Automatic Extraction of Functional Dependencies","author":"gregoire","year":"2004","journal-title":"Proc Int'l Conf Theory and Applications of Satisfiability Testing"},{"key":"bibttc20100404577","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1990.130210"},{"key":"bibttc20100404578","doi-asserted-by":"publisher","DOI":"10.1109\/EDTC.1996.494119"},{"key":"bibttc201004045714","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.860955"},{"key":"bibttc20100404575","first-page":"438","article-title":"Implicit enumeration of structural changes in circuit optimization","author":"kravets","year":"2004","journal-title":"Proceedings 41st Design Automation Conference 2004 DAC"},{"key":"bibttc201004045715","doi-asserted-by":"publisher","DOI":"10.2307\/2963593"},{"key":"bibttc20100404576","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1145\/157485.164888","article-title":"reducing bdd size by exploiting functional dependencies","author":"hu","year":"1993","journal-title":"30th ACM\/IEEE Design Automation Conference"},{"key":"bibttc201004045712","first-page":"502","article-title":"An Extensible SAT-Solver","author":"e\ufffdn","year":"2003","journal-title":"Proc Int'l Conf Theory and Applications of Satisfiability Testing"},{"key":"bibttc20100404573","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1996.569833"},{"key":"bibttc201004045713","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.130"},{"key":"bibttc20100404574","first-page":"277","article-title":"Exact Redundant State Registers Removal Based on Binary Decision Diagrams","author":"lin","year":"1991","journal-title":"Proc Int Conf Very Large Scale Integration Design"},{"key":"bibttc201004045718","doi-asserted-by":"publisher","DOI":"10.2307\/2275583"},{"key":"bibttc20100404571","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/978-3-540-27813-9_21","article-title":"Functional Dependency for Verification Reduction","author":"jiang","year":"2004","journal-title":"Proc Int'l Conf Computer Aided Verification"},{"key":"bibttc201004045719","first-page":"1","article-title":"Interpolation and SAT-Based Model Checking","author":"mcmillan","year":"2003","journal-title":"Proc Int'l Conf Computer Aided Verification"},{"key":"bibttc20100404572","first-page":"227","article-title":"Scalable Exploration of Functional Dependency by Interpolation and Incremental SAT Solving","author":"lee","year":"2007","journal-title":"Proc Int'l Conf Computer-Aided Design"},{"key":"bibttc201004045716","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"bibttc201004045717","doi-asserted-by":"publisher","DOI":"10.2307\/2275541"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/12\/5420340\/05374381.pdf?arnumber=5374381","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:39:19Z","timestamp":1638218359000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5374381\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4]]},"references-count":29,"journal-issue":{"issue":"4"},"URL":"http:\/\/dx.doi.org\/10.1109\/tc.2010.12","relation":{},"ISSN":["0018-9340"],"issn-type":[{"value":"0018-9340","type":"print"}],"subject":[],"published":{"date-parts":[[2010,4]]}}}
