{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:38:42Z","timestamp":1750307922335,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,11,28]],"date-time":"2006-11-28T00:00:00Z","timestamp":1164672000000},"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":[[2006,11,28]]},"DOI":"10.1145\/1176866.1176875","type":"proceedings-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T01:15:56Z","timestamp":1168996556000},"page":"49-54","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Boolean formulation for sensor allocation problem and its efficient solver"],"prefix":"10.1145","author":[{"given":"Toshiaki","family":"Miyazaki","sequence":"first","affiliation":[{"name":"The University of Aizu, Ikki-machi, Auzu-Wakamatsu, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,11,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2002.1024422"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1177\/10943420020160031001"},{"key":"e_1_3_2_1_3_1","unstructured":"Crossbow Technology Inc http:\/\/www.xbow.com  Crossbow Technology Inc http:\/\/www.xbow.com"},{"key":"e_1_3_2_1_4_1","unstructured":"Millennial Net Inc http:\/\/www.millennial.net  Millennial Net Inc http:\/\/www.millennial.net"},{"key":"e_1_3_2_1_5_1","unstructured":"Hitachi Wirelessinfo Venture Company http:\/\/www.hitachi.co.jp\/wirelessinfo\/airsense\/  Hitachi Wirelessinfo Venture Company http:\/\/www.hitachi.co.jp\/wirelessinfo\/airsense\/"},{"key":"e_1_3_2_1_6_1","volume-title":"INFOCOM'03","author":"Shakkottai S.","year":"2003","unstructured":"S. Shakkottai , R. Srikant , and N. Shroff , \" Unreliable Sensor Grids: Coverage, Connectivity and Diameter,\" IEEE Proc . INFOCOM'03 , March 2003 . S. Shakkottai, R. Srikant, and N. Shroff, \"Unreliable Sensor Grids: Coverage, Connectivity and Diameter,\" IEEE Proc. INFOCOM'03, March 2003."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/570738.570746"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2005.15"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCN.2005.32"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/860575.860667"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/313451.313553"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2005.134"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"e_1_3_2_1_14_1","volume-title":"Advanced BDD Optimization","author":"Ebendt R.","year":"2005","unstructured":"R. Ebendt , G. Fey , and R. Frechsler , Advanced BDD Optimization , Springer , 2005 . R. Ebendt, G. Fey, and R. Frechsler, Advanced BDD Optimization, Springer, 2005."},{"key":"e_1_3_2_1_15_1","first-page":"92","volume-title":"ICCAD'90","author":"Srinivasan A.","year":"1990","unstructured":"A. Srinivasan , T. Kam , S. Malik , and R. E. Brayton , \" Algorithm for Discrete Function Manipulation,\" IEEE Proc . ICCAD'90 , pp. 92 -- 95 , November 1990 . A. Srinivasan, T. Kam, S. Malik, and R. E. Brayton, \"Algorithm for Discrete Function Manipulation,\" IEEE Proc. ICCAD'90, pp. 92--95, November 1990."},{"key":"e_1_3_2_1_16_1","first-page":"88","volume-title":"ICCAD'90","author":"Lin B.","year":"1990","unstructured":"B. Lin and F. Somenzi , \" Minimization of Symbolic Relations,\" IEEE Proc . ICCAD'90 , pp. 88 -- 91 , November 1990 . B. Lin and F. Somenzi, \"Minimization of Symbolic Relations,\" IEEE Proc. ICCAD'90, pp. 88--91, November 1990."}],"event":{"name":"Middleware06: 7th International Middleware Conference","sponsor":["ACM Association for Computing Machinery"],"location":"Melbourne Australia","acronym":"Middleware06"},"container-title":["Proceedings of the international workshop on Middleware for sensor networks"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1176866.1176875","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1176866.1176875","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:51:38Z","timestamp":1750258298000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1176866.1176875"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,11,28]]},"references-count":16,"alternative-id":["10.1145\/1176866.1176875","10.1145\/1176866"],"URL":"https:\/\/doi.org\/10.1145\/1176866.1176875","relation":{},"subject":[],"published":{"date-parts":[[2006,11,28]]},"assertion":[{"value":"2006-11-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}