{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:54:05Z","timestamp":1725573245090},"reference-count":4,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1109\/hpec.2012.6408663","type":"proceedings-article","created":{"date-parts":[[2013,1,17]],"date-time":"2013-01-17T15:35:00Z","timestamp":1358436900000},"page":"1-2","source":"Crossref","is-referenced-by-count":0,"title":["An application of the constraint programming to the design and operation of synthetic aperture radars"],"prefix":"10.1109","author":[{"given":"Michael","family":"Holzrichter","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74970-7_4"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74970-7_3"},{"key":"1","first-page":"269","article-title":"Solving linear pseudo-Boolean constraint problems with local search","author":"walser","year":"1997","journal-title":"Fourteenth National Conference on Artificial Intelligence"},{"journal-title":"Propagation Networks A Flexible and Expressive Substrate for Computation","year":"2009","author":"radul","key":"4"}],"event":{"name":"2012 IEEE Conference on High Performance Extreme Computing (HPEC)","start":{"date-parts":[[2012,9,10]]},"location":"Waltham, MA, USA","end":{"date-parts":[[2012,9,12]]}},"container-title":["2012 IEEE Conference on High Performance Extreme Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6393528\/6408656\/06408663.pdf?arnumber=6408663","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T16:20:08Z","timestamp":1490199608000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6408663\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":4,"URL":"https:\/\/doi.org\/10.1109\/hpec.2012.6408663","relation":{},"subject":[],"published":{"date-parts":[[2012,9]]}}}