{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:14:33Z","timestamp":1729660473608,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iccad.2005.1560082","type":"proceedings-article","created":{"date-parts":[[2005,12,22]],"date-time":"2005-12-22T12:52:37Z","timestamp":1135255957000},"page":"297-302","source":"Crossref","is-referenced-by-count":1,"title":["RTL SAT simplification by boolean and interval arithmetic reasoning"],"prefix":"10.1109","author":[{"given":"G.","family":"Parthasarathy","sequence":"first","affiliation":[]},{"given":"M.K.","family":"Iyer","sequence":"additional","affiliation":[]},{"given":"K.T.","family":"Cheng","sequence":"additional","affiliation":[]},{"given":"F.","family":"Brewer","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"212","article-title":"An efficient finite-domain constraint solver for RTL circuits","author":"parthasarathy","year":"2004","journal-title":"Proc of Design Automation Conference"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36126-X_10"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2004.1337587"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1065579.1065698"},{"journal-title":"The Omega Library V1 1 0 Interface Guide","year":"1996","author":"kelly","key":"24"},{"key":"15","first-page":"537","article-title":"Algebraic simplification techniques for propositional satisfiability","author":"marques-silva","year":"2000","journal-title":"Proc of Int'l Conf on Principles and Practice of Constraint Programming"},{"journal-title":"Interval Analysis","year":"1966","author":"moore","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61474-5_64"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/378239.378470"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.127"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35597-9_31"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2003.1219039"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382541"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1112\/S1461157000000176"},{"key":"2","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1007\/3-540-61474-5_95","article-title":"VIS: A system for verification and synthesis","volume":"1102","author":"brayton","year":"1996","journal-title":"Proc Conf Computer-Aided Verification"},{"key":"1","first-page":"187","article-title":"Validity checking for combinations of theories with equality","volume":"1166","author":"barrett","year":"1996","journal-title":"LNCS"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/502102.502106"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775947"},{"journal-title":"Self-validated numerical methods and applications","year":"1997","author":"de figueiredo","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"4","first-page":"741","article-title":"RTL-datapath verification using integer linear programming","author":"brinkmann","year":"2001","journal-title":"Proc 16th Int Conf VLSI Design"},{"key":"9","first-page":"246","article-title":"ICS: Integrated Canonization and Solving","volume":"2102","author":"fillia?tre","year":"2001","journal-title":"LNCS"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/43.936380"}],"event":{"name":"ICCAD-2005. IEEE\/ACM International Conference on Computer-Aided Design, 2005.","location":"San Jose, CA"},"container-title":["ICCAD-2005. IEEE\/ACM International Conference on Computer-Aided Design, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10431\/33130\/01560082.pdf?arnumber=1560082","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T01:12:46Z","timestamp":1555031566000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1560082\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/iccad.2005.1560082","relation":{},"subject":[]}}