{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:19Z","timestamp":1725490219735},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540412557"},{"type":"electronic","value":"9783540409960"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40996-3_18","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T21:17:32Z","timestamp":1188335852000},"page":"204-215","source":"Crossref","is-referenced-by-count":0,"title":["Approximation Algorithms for the Maximum Power Consumption Problem on Combinatorial Circuits"],"prefix":"10.1007","author":[{"given":"Takao","family":"Asano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Magn\u00fas M.","family":"Halld\u00f3rsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kazuo","family":"Iwama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takeshi","family":"Matsuda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,1,29]]},"reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1109\/43.124424","volume":"11","author":"D. S","year":"1992","unstructured":"Devadas S., Keutzer K., and White J.: Estimation of power dissipation in CMOS combinatorial circuits using boolean function manipulation. IEEE Transactions on Computer-Aided-Design\n                           11 (1992) 373\u2013383.","journal-title":"IEEE Transactions on Computer-Aided-Design"},{"key":"18_CR2","doi-asserted-by":"publisher","first-page":"1099","DOI":"10.1109\/43.736184","volume":"17","author":"D. C","year":"1998","unstructured":"Ding C., Tsui C., and M. Pedram: Power estimation using tagged probabilistic simulation. IEEE Transactions on Computer-Aided-Design\n                           17 (1998) 1099\u20131107.","journal-title":"IEEE Transactions on Computer-Aided-Design"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"1115","DOI":"10.1145\/227683.227684","volume":"42","author":"M.X. Goemans","year":"1995","unstructured":"Goemans M.X., and Williamson D.P.: Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. Journal of the ACM\n                           42 (1995) 1115\u20131145.","journal-title":"Journal of the ACM"},{"key":"18_CR4","unstructured":"Matsuda T., Iwama K., and Halld\u00f3rsson M.: The approximability of MAX power consumption problem of logic circuits. Technical Report of Information Processing Society of Japan, 2000-AL-72-2 (2000) 9\u201316."},{"key":"18_CR5","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1109\/43.559336","volume":"16","author":"J. Monterio","year":"1997","unstructured":"Monterio J., Devadas S., Ghosh A., Keutzer K., and White J.: Estimation of average switching activity in combinatorial logic circuit using symbolic simulation. IEEE Transactions on Computer-Aided-Design\n                           16 (1997) 121\u2013127.","journal-title":"IEEE Transactions on Computer-Aided-Design"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Motwani R., and Raghavan P.: Randomized Algorithms. Cambridge University Press, 1995.","DOI":"10.1017\/CBO9780511814075"}],"container-title":["Lecture Notes in Computer Science","Algorithms and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40996-3_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,22]],"date-time":"2019-02-22T23:53:10Z","timestamp":1550879590000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40996-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540412557","9783540409960"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-40996-3_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}