{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:35:16Z","timestamp":1761323716927,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T00:00:00Z","timestamp":1287878400000},"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,10,24]]},"DOI":"10.1145\/1878961.1878986","type":"proceedings-article","created":{"date-parts":[[2010,11,9]],"date-time":"2010-11-09T15:01:31Z","timestamp":1289314891000},"page":"135-144","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Improving platform-based system synthesis by satisfiability modulo theories solving"],"prefix":"10.1145","author":[{"given":"Felix","family":"Reimann","sequence":"first","affiliation":[{"name":"University of Erlangen-Nuremberg, Erlangen, Germany"}]},{"given":"Michael","family":"Gla\u00df","sequence":"additional","affiliation":[{"name":"University of Erlangen-Nuremberg, Erlangen, Germany"}]},{"given":"Christian","family":"Haubelt","sequence":"additional","affiliation":[{"name":"University of Erlangen-Nuremberg, Erlangen, Germany"}]},{"given":"Michael","family":"Eberl","sequence":"additional","affiliation":[{"name":"University of Erlangen-Nuremberg, Erlangen, Germany"}]},{"given":"J\u00fcrgen","family":"Teich","sequence":"additional","affiliation":[{"name":"University of Erlangen-Nuremberg, Erlangen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2010,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193228"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_49"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008899229802"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1155\/2008\/647953"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_11"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1629925"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2004.06.001"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1278480.1278554"},{"key":"e_1_3_2_1_10_1","first-page":"1168","volume-title":"Proc. of DAC '03","author":"Haubelt C.","year":"2003","unstructured":"C. Haubelt , J. Teich , R. Feldmann , and B. Monien . SAT-based techniques in system design . In Proc. of DAC '03 , pages 1168 -- 1169 , 2003 . C. Haubelt, J. Teich, R. Feldmann, and B. Monien. SAT-based techniques in system design. In Proc. of DAC '03, pages 1168--1169, 2003."},{"key":"e_1_3_2_1_11_1","first-page":"1167","volume-title":"Proc. of IJCAI '03","author":"Huang J.","year":"2003","unstructured":"J. Huang and A. Darwiche . A Structure-based Variable Ordering Heuristic for SAT . In Proc. of IJCAI '03 , pages 1167 -- 1172 , 2003 . J. Huang and A. Darwiche. A Structure-based Variable Ordering Heuristic for SAT. In Proc. of IJCAI '03, pages 1167--1172, 2003."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.898830"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1367045.1367048"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_40"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1356802.1356969"},{"key":"e_1_3_2_1_16_1","unstructured":"S. Neema. System Level Synthesis of Adaptive Computing Systems. PhD thesis Vanderbilt University Nashville Tennessee May 2001.   S. Neema. System Level Synthesis of Adaptive Computing Systems. PhD thesis Vanderbilt University Nashville Tennessee May 2001."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008832202436"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_33"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391615"},{"key":"e_1_3_2_1_20_1","volume-title":"Int. Journal on Software Tools for Technology Transfer (STTT), 7(2):156--173","author":"Prasad M.","year":"2005","unstructured":"M. Prasad , A. Biere , and A. Gupta . A Survey of Recent Advances in SAT-Based Formal Verification . Int. Journal on Software Tools for Technology Transfer (STTT), 7(2):156--173 , 2005 . M. Prasad, A. Biere, and A. Gupta. A Survey of Recent Advances in SAT-Based Formal Verification. Int. Journal on Software Tools for Technology Transfer (STTT), 7(2):156--173, 2005."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2007.53"},{"key":"e_1_3_2_1_22_1","unstructured":"E. Wandeler and L. Thiele. Real-Time Calculus (RTC) Toolbox. http:\/\/www.mpa.ethz.ch\/Rtctoolbox 2006.  E. Wandeler and L. Thiele. Real-Time Calculus (RTC) Toolbox. http:\/\/www.mpa.ethz.ch\/Rtctoolbox 2006."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/1177177.1177184"}],"event":{"name":"ESWeek '10: Sixth Embedded Systems Week","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","CEDA","IEEE CAS","IEEE CS"],"location":"Scottsdale Arizona USA","acronym":"ESWeek '10"},"container-title":["Proceedings of the eighth IEEE\/ACM\/IFIP international conference on Hardware\/software codesign and system synthesis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1878961.1878986","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1878961.1878986","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:09:04Z","timestamp":1750248544000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1878961.1878986"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,24]]},"references-count":23,"alternative-id":["10.1145\/1878961.1878986","10.1145\/1878961"],"URL":"https:\/\/doi.org\/10.1145\/1878961.1878986","relation":{},"subject":[],"published":{"date-parts":[[2010,10,24]]},"assertion":[{"value":"2010-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}