{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,5,16]],"date-time":"2022-05-16T00:48:04Z","timestamp":1652662084421},"reference-count":30,"publisher":"Informa UK Limited","issue":"4-5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Applied Artificial Intelligence"],"published-print":{"date-parts":[[2007,4,25]]},"DOI":"10.1080\/08839510701252650","type":"journal-article","created":{"date-parts":[[2007,5,24]],"date-time":"2007-05-24T01:13:17Z","timestamp":1179969197000},"page":"383-404","source":"Crossref","is-referenced-by-count":4,"title":["USING A THEOREM PROVER FOR REASONING ON CONSTRAINT PROBLEMS"],"prefix":"10.1080","volume":"21","author":[{"given":"Marco","family":"Cadoli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toni","family":"Mancini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","unstructured":"2000 . Proc. of AAAI 2000 , Austin , Texas , USA . AAAI Press\/The MIT Press ."},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(88)90023-9"},{"key":"CIT0003","unstructured":"Cadoli , M. and T. Mancini . 2003 . Detecting and breaking symmetries on specifications . In Proc. of SymCon, in conj. with CP 2003 , pages 13 \u2013 26 , Kinsale , Ireland ."},{"key":"CIT0004","unstructured":"Cadoli , M. and T. Mancini . 2004a . Automated reformulation of specifications by safe delay of constraints . In Proc. of KR 2004 , pages 388 \u2013 398 , Whistler , BC , Canada . AAAI Press\/The MIT Press ."},{"key":"CIT0005","doi-asserted-by":"crossref","unstructured":"Cadoli , M. and T. Mancini . 2004b . Exploiting functional dependencies in declarative problem specifications . In Proc. of JELIA 2004, LNAI , Volume 3229 , 628 \u2013 640 . Springer , New York , USA .","DOI":"10.1007\/978-3-540-30227-8_52"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2006.01.008"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2004.01.006"},{"key":"CIT0008","doi-asserted-by":"crossref","DOI":"10.1002\/9780471225294","volume-title":"Building and Solving Mathematical Programming Models in Engineering and Science.","author":"Castillo E.","year":"2001"},{"key":"CIT0009","unstructured":"Crawford , J. M. , M. L. Ginsberg , E. M. Luks , and A. Roy . 1996 . Symmetry-breaking predicates for search problems . In Proc. of KR'96 , pages 148 \u2013 159 , Cambridge , Massachusetts , USA . Morgan Kaufmann ."},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1089\/cmb.1998.5.423"},{"key":"CIT0011","first-page":"276","volume-title":"Encyclopedia of Artificial Intelligence,","author":"Dechter R.","year":"1992","edition":"2"},{"key":"CIT0012","first-page":"43","volume-title":"Complexity of Computation","author":"Fagin R.","year":"1974"},{"key":"CIT0013","doi-asserted-by":"crossref","unstructured":"Flener , P. , A. Frisch , B. Hnich , Z. Kiziltan , I. Miguel , J. Pearson , and T. Walsh . 2002 . Breaking row and column symmetries in matrix models . In Proc. of CP 2002 LNCS , Volume 2470 , page 462 . Springer , New York , USA .","DOI":"10.1007\/3-540-46135-3_31"},{"key":"CIT0014","volume-title":"AMPL: A Modeling Language for Mathematical Programming","author":"Fourer R.","year":"1993"},{"key":"CIT0015","doi-asserted-by":"crossref","unstructured":"Frisch , A. , I. Miguel , and T. Walsh . 2002 . CGRASS: A system for transforming constraint satisfaction problems . In Proc. of ERCIM 2002 LNAI , Volume 2627 , 15 \u2013 30 . Springer , New York, USA .","DOI":"10.1007\/3-540-36607-5_2"},{"key":"CIT0016","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"Garey M. R.","year":"1979"},{"key":"CIT0017","doi-asserted-by":"crossref","unstructured":"Giunchiglia , E. , and R. Sebastiani . 2000 . Applying the Davis-Putnam procedure to non-clausal formulas . In Proc. of AI*IA\u203299 LNAI , Volume 1792 , 84 \u2013 94 . Springer , New York , USA .","DOI":"10.1007\/3-540-46238-4_8"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90021-O"},{"key":"CIT0019","unstructured":"Kolaitis , P. G. 2003 . Constraint satisfaction, databases, and logic . In Proc. of IJCAI 2003 , pages 1587 \u2013 1595 , Acapulco , Mexico : Morgan Kaufmann ."},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1021\/ma00200a030"},{"key":"CIT0021","author":"Leone N.","journal-title":"ACM Trans. on Comp. Logic"},{"key":"CIT0022","first-page":"291","volume-title":"Proc. of AAAI 2000","author":"Li C. M."},{"key":"CIT0023","first-page":"165","volume-title":"Proc. of SARA 2005, LNAI","volume":"3607","author":"Mancini T.","year":"2005"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.2172\/797949"},{"key":"CIT0025","doi-asserted-by":"publisher","DOI":"10.2172\/822573"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018930122475"},{"key":"CIT0027","volume-title":"Computational Complexity","author":"Papadimitriou C. H.","year":"1994"},{"key":"CIT0028","first-page":"292","volume-title":"Proc. of CADE\u203299 LNCS","volume":"1632","author":"Riazanov A.","year":"1999"},{"key":"CIT0029","first-page":"182","volume-title":"Proc. of AAAI 2000","author":"Smith B. M.","year":"2000"},{"key":"CIT0030","volume-title":"The OPL Optimization Programming Language","author":"Van Hentenryck P.","year":"1999"}],"container-title":["Applied Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/08839510701252650","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T07:49:19Z","timestamp":1556437759000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/08839510701252650"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,4,25]]},"references-count":30,"journal-issue":{"issue":"4-5","published-print":{"date-parts":[[2007,4,25]]}},"alternative-id":["10.1080\/08839510701252650"],"URL":"https:\/\/doi.org\/10.1080\/08839510701252650","relation":{},"ISSN":["0883-9514","1087-6545"],"issn-type":[{"value":"0883-9514","type":"print"},{"value":"1087-6545","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,4,25]]}}}