{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:35:26Z","timestamp":1725748526524},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405631"},{"type":"electronic","value":"9783642405648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40564-8_9","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T11:21:30Z","timestamp":1378984890000},"page":"79-91","source":"Crossref","is-referenced-by-count":15,"title":["Symbolic System Synthesis Using Answer Set Programming"],"prefix":"10.1007","author":[{"given":"Benjamin","family":"Andres","sequence":"first","affiliation":[]},{"given":"Martin","family":"Gebser","sequence":"additional","affiliation":[]},{"given":"Torsten","family":"Schaub","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Haubelt","sequence":"additional","affiliation":[]},{"given":"Felix","family":"Reimann","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Gla\u00df","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press (2003)","DOI":"10.1017\/CBO9780511543357"},{"key":"9_CR2","unstructured":"Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.): Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol.\u00a0185. IOS Press (2009)"},{"issue":"1","key":"9_CR3","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1023\/A:1008899229802","volume":"3","author":"T. Blickle","year":"1998","unstructured":"Blickle, T., Teich, J., Thiele, L.: System-level synthesis using Evolutionary Algorithms. J. Design Automation for Embedded Systems\u00a03(1), 23\u201358 (1998)","journal-title":"J. Design Automation for Embedded Systems"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Borkar, S.: Thousand core chips: a technology perspective. In: Proc. of DAC 2007, pp. 746\u2013749 (2007)","DOI":"10.1109\/DAC.2007.375263"},{"issue":"2","key":"9_CR5","doi-asserted-by":"crossref","first-page":"105","DOI":"10.3233\/AIC-2011-0497","volume":"24","author":"M. Gebser","year":"2011","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: The Potsdam answer set solving collection. AI Communications\u00a024(2), 105\u2013124 (2011)","journal-title":"AI Communications"},{"key":"9_CR6","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: A user\u2019s guide to gringo, clasp, clingo, and iclingo"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan and Claypool Publishers (2012)","DOI":"10.2200\/S00457ED1V01Y201211AIM019"},{"key":"9_CR8","unstructured":"Haubelt, C., Teich, J., Feldmann, R., Monien, B.: SAT-Based Techniques in System Design. In: Proc. of DATE 2003, pp. 1168\u20131169 (2003)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Ishebabi, H., Mahr, P., Bobda, C., Gebser, M., Schaub, T.: Answer set vs integer linear programming for automatic synthesis of multiprocessor systems from real-time parallel programs. Journal of Reconfigurable Computing, Article ID 863630 (2009)","DOI":"10.1155\/2009\/863630"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Lukasiewycz, M., et al.: Combined System Synthesis and Communication Architecture Exploration for MPSoCs. In: Proc. of DATE 2009, pp. 472\u2013477. IEEE Computer Society (2009)","DOI":"10.1109\/DATE.2009.5090711"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Lukasiewycz, M., et al.: Efficient symbolic multi-objective design space exploration. In: Proc. of ASP-DAC 2008, pp. 691\u2013696 (2008)","DOI":"10.1109\/ASPDAC.2008.4484040"},{"key":"9_CR12","unstructured":"Neema, S.: System Level Synthesis of Adaptive Computing Systems. PhD thesis, Vanderbilt University, Nashville, Tennessee (May 2001)"},{"issue":"2","key":"9_CR13","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/A:1008832202436","volume":"2","author":"R. Niemann","year":"1997","unstructured":"Niemann, R., Marwedel, P.: An Algorithm for Hardware\/Software Partitioning Using Mixed Integer Linear Programming. Design Automation for Embedded Systems\u00a02(2), 165\u2013193 (1997)","journal-title":"Design Automation for Embedded Systems"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40564-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,3]],"date-time":"2020-08-03T22:44:48Z","timestamp":1596494688000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40564-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405631","9783642405648"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40564-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}