{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:33:09Z","timestamp":1725485589502},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000112"},{"type":"electronic","value":"9783540360797"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36079-4_12","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T02:56:06Z","timestamp":1180666566000},"page":"139-144","source":"Crossref","is-referenced-by-count":4,"title":["Minimal and Redundant SAT Encodings for the All-Interval-Series Problem"],"prefix":"10.1007","author":[{"given":"T.","family":"Alsinet","sequence":"first","affiliation":[]},{"given":"R.","family":"B\u00e9jar","sequence":"additional","affiliation":[]},{"given":"A.","family":"Cabiscol","sequence":"additional","affiliation":[]},{"given":"C.","family":"Fern\u00e0ndez","sequence":"additional","affiliation":[]},{"given":"F.","family":"Many\u00e0","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"12_CR1","unstructured":"H. H. Hoos. Stochastic Local Search-Methods, Models, Applications. PhD thesis, Department of Computer Science, Darmstadt University of Technology, 1998."},{"key":"12_CR2","unstructured":"H. Kautz, Y. Ruan, D. Achlioptas, C. Gomes, B. Selman, and M. Stickel. Balance and filtering in structured satisfiable problems. In Proceedings of the International Joint Conference on Artificial Intelligence, IJCAI\u201901, Seattle\/WA, USA, 351\u2013358. Morgan Kaufmann, 2001"},{"key":"12_CR3","unstructured":"C. M. Li, and Anbulagan. Heuristics based on unit propagation for satisfiability problems. In Proceedings of the International Joint Conference on Artificial Intelligence, IJCAI\u201997, Nagoya, Japan, 366\u2013371. Morgan Kaufmann, 1997."},{"key":"12_CR4","unstructured":"D. McAllester, B. Selman, and H. Kautz. Evidence for invariants in local search. In Proceedings of the 14th National Conference on Artificial Intelligence, AAAI\u201997, Providence\/RI, USA, pages 321\u2013326. AAAI Press, 1997."},{"key":"12_CR5","unstructured":"D. Schuurmans and F. Southey. Local search characteristics of incomplete SAT procedures. In Proceedings of the 17th National Conference on Artificial Intelligence, AAAI-2000, Austin\/TX, USA, pages 297\u2013302. AAAI Press, 2000."},{"key":"12_CR6","unstructured":"B. Selman, H. A. Kautz, and B. Cohen. Noise strategies for improving local search. In Proceedings of the 12th National Conference on Artificial Intelligence, AAAI\u201994, Seattle\/WA, USA, pages 337\u2013343. AAAI Press, 1994."}],"container-title":["Lecture Notes in Computer Science","Topics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36079-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T01:19:49Z","timestamp":1550366389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36079-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000112","9783540360797"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-36079-4_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}