{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:29:25Z","timestamp":1750307365553,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,9,6]],"date-time":"2010-09-06T00:00:00Z","timestamp":1283731200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,9,6]]},"DOI":"10.1145\/1854153.1854201","type":"proceedings-article","created":{"date-parts":[[2010,9,7]],"date-time":"2010-09-07T15:48:28Z","timestamp":1283874508000},"page":"192-197","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Improvements on the detection of false paths by using unateness and satisfiability"],"prefix":"10.1145","author":[{"given":"Felipe S.","family":"Marques","sequence":"first","affiliation":[{"name":"Instituto de Inform\u00e1tica - UFRGS, Porto Alegre, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"suffix":"Jr.","given":"Osvaldo","family":"Martinello","sequence":"additional","affiliation":[{"name":"Instituto de Inform\u00e1tica - UFRGS, Porto Alegre, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Renato P.","family":"Ribas","sequence":"additional","affiliation":[{"name":"Instituto de Inform\u00e1tica - UFRGS, Porto Alegre, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9 I.","family":"Reis","sequence":"additional","affiliation":[{"name":"Instituto de Inform\u00e1tica - UFRGS, Porto Alegre, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,9,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337611"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.108614"},{"key":"e_1_3_2_1_3_1","first-page":"965","volume-title":"Path verification using Boolean satisfiability. Design Automation and Test in Europe (DATE)","author":"Ringe M..","year":"1998","unstructured":"Ringe . M.. Lindenkreuz . T. , and Barke . E.. Path verification using Boolean satisfiability. Design Automation and Test in Europe (DATE) . Feb. 1998 . pp. 965 -- 966 . Ringe. M.. Lindenkreuz. T., and Barke. E.. Path verification using Boolean satisfiability. Design Automation and Test in Europe (DATE). Feb. 1998. pp. 965 -- 966."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1057661.1057735"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-2821-6","volume-title":"Logic Minimization Algorithms for VLSI Synthesis","author":"Brayton R.K..","year":"1984","unstructured":"Brayton . R.K.. Hachtel . G.D.. McMullen . C.T.. and Sangiovanni-Vincentelli . A.L.M.. Logic Minimization Algorithms for VLSI Synthesis . Kluwer Academic Publishers . Boston. 1984 . Brayton. R.K.. Hachtel. G.D.. McMullen. C.T.. and Sangiovanni-Vincentelli. A.L.M.. Logic Minimization Algorithms for VLSI Synthesis. Kluwer Academic Publishers. Boston. 1984."},{"key":"e_1_3_2_1_6_1","first-page":"2","article-title":"Critical path selection for performance optimization","volume":"12","author":"Chen H.","unstructured":"Chen . H. -C; Du . D. H. -C; and Liu . L.-R. , Critical path selection for performance optimization . IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems. vol. 12 . no. 2 . pp. 185--195. Feb. 1993. Chen. H.-C; Du. D. H.-C; and Liu. L.-R., Critical path selection for performance optimization. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems. vol. 12. no. 2. pp. 185--195. Feb. 1993.","journal-title":"IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.511566"},{"key":"e_1_3_2_1_8_1","first-page":"44","volume-title":"Proceedings of Int. Conf. on Computer-Aided Design (ICCAD).","author":"Benkoski E.","year":"1987","unstructured":"J. Benkoski . E. Vanden Meersch . L. Claesen . and H. De Man ., Efficient Algorithms for Solving the False Path Problem in Timing Verification . Proceedings of Int. Conf. on Computer-Aided Design (ICCAD). pp. 44 -- 47 . 1987 . J. Benkoski. E. Vanden Meersch. L. Claesen. and H. De Man., Efficient Algorithms for Solving the False Path Problem in Timing Verification. Proceedings of Int. Conf. on Computer-Aided Design (ICCAD). pp. 44--47. 1987."},{"key":"e_1_3_2_1_9_1","first-page":"126","volume-title":"Proceedings of Int. Conf. on Computer-Aided Design (ICCAD).","author":"Brand V. S.","year":"1986","unstructured":"D. Brand and V. S. Iyengar ., Timing Analysis using Functional Relationship . Proceedings of Int. Conf. on Computer-Aided Design (ICCAD). pp. 126 -- 129 . 1986 . D. Brand and V. S. Iyengar., Timing Analysis using Functional Relationship. Proceedings of Int. Conf. on Computer-Aided Design (ICCAD). pp. 126--129. 1986."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDAC.1992.205959"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/74382.74477"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/74382.74476"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1998.705250"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1509633.1509784"},{"volume-title":"IWLS 2005 Benchmarks: http:\/\/www.iwls.org\/iwls2005\/benchmarks.html","author":"Albrecht C..","key":"e_1_3_2_1_15_1","unstructured":"Albrecht , C.. IWLS 2005 Benchmarks: http:\/\/www.iwls.org\/iwls2005\/benchmarks.html Albrecht, C.. IWLS 2005 Benchmarks: http:\/\/www.iwls.org\/iwls2005\/benchmarks.html"},{"key":"e_1_3_2_1_16_1","unstructured":"Fu. Z.. Mahajan. Y.. and Malik. S.. zChaff Solver. http:\/\/www.princeton.edu\/~chaff\/zchaff.htm  Fu. Z.. Mahajan. Y.. and Malik. S.. zChaff Solver. http:\/\/www.princeton.edu\/~chaff\/zchaff.htm"}],"event":{"name":"SBCCI '10: 23rd Symposium on Integrated Circuits and Systems Design","sponsor":["SIGDA ACM Special Interest Group on Design Automation","SBMicro","IEEE ICAS","IEEE Circuits and Systems Society","SBC"],"location":"S\u00e3o Paulo Brazil","acronym":"SBCCI '10"},"container-title":["Proceedings of the 23rd symposium on Integrated circuits and system design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1854153.1854201","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1854153.1854201","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:22:41Z","timestamp":1750245761000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1854153.1854201"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,6]]},"references-count":16,"alternative-id":["10.1145\/1854153.1854201","10.1145\/1854153"],"URL":"https:\/\/doi.org\/10.1145\/1854153.1854201","relation":{},"subject":[],"published":{"date-parts":[[2010,9,6]]},"assertion":[{"value":"2010-09-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}