{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:18:18Z","timestamp":1740122298173,"version":"3.37.3"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,9,3]],"date-time":"2016-09-03T00:00:00Z","timestamp":1472860800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-10-BLA-0214"],"award-info":[{"award-number":["ANR-10-BLA-0214"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.1007\/s10601-016-9250-1","type":"journal-article","created":{"date-parts":[[2016,9,3]],"date-time":"2016-09-03T06:02:35Z","timestamp":1472882555000},"page":"230-264","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Triangle-based consistencies for cost function networks"],"prefix":"10.1007","volume":"22","author":[{"given":"Hiep","family":"Nguyen","sequence":"first","affiliation":[]},{"given":"Christian","family":"Bessiere","sequence":"additional","affiliation":[]},{"given":"Simon de","family":"Givry","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6049-3415","authenticated-orcid":false,"given":"Thomas","family":"Schiex","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,3]]},"reference":[{"key":"9250_CR1","unstructured":"Allouche, D., Bessiere, C., Boizumault, P., Givry, S., Gutierrez, P., Loudni, S., Metivier, J., & Schiex, T. (2012). Decomposing global cost functions. In Proc. of AAAI."},{"issue":"3","key":"9250_CR2","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1023\/A:1026488509554","volume":"4","author":"E Bensana","year":"1999","unstructured":"Bensana, E., Lema\u00eetre, M., & Verfaillie, G. (1999). Earth observation satellite management. Constraints, 4(3), 293\u2013299.","journal-title":"Constraints"},{"key":"9250_CR3","doi-asserted-by":"crossref","unstructured":"Berlandier, P. (1995). Improving domain filtering using restricted path consistency. In Proceedings IEEE Conference on Artificial Intelligenece and Applications (CAIA\u201995).","DOI":"10.1109\/CAIA.1995.378792"},{"key":"9250_CR4","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1023\/A:1009812409930","volume":"4","author":"B Cabon","year":"1999","unstructured":"Cabon, B., de Givry, S., Lobjois, L., Schiex, T., & Warners, J. (1999). Radio link frequency assignment. Constraints, 4, 79\u201389.","journal-title":"Constraints"},{"key":"9250_CR5","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1016\/j.artint.2010.02.001","volume":"174","author":"M Cooper","year":"2010","unstructured":"Cooper, M., de Givry, S., Sanchez, M., Schiex, T., Zytnicki, M., & Werner, T. (2010). Soft arc consistency revisited. Artificial Intelligence, 174, 449\u2013478.","journal-title":"Artificial Intelligence"},{"key":"9250_CR6","unstructured":"Cooper, M., de Givry, S., Sanchez, M., Schiex, T., & Zytnicki, M. (2008). Virtual Arc Consistency for Weighted CSP. In Proc. of AAAI\u20192008. Chicago, USA."},{"issue":"3","key":"9250_CR7","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/S0165-0114(02)00134-3","volume":"134","author":"MC Cooper","year":"2003","unstructured":"Cooper, M.C. (2003). Reduction operations in fuzzy or valued constraint satisfaction. Fuzzy Sets Systems, 134(3), 311\u2013342.","journal-title":"Fuzzy Sets Systems"},{"key":"9250_CR8","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/s10601-005-2240-3","volume":"10","author":"MC Cooper","year":"2005","unstructured":"Cooper, M.C. (2005). High-order consistency in Valued Constraint Satisfaction. Constraints, 10, 283\u2013305.","journal-title":"Constraints"},{"key":"9250_CR9","unstructured":"Cooper, M.C., de Givry, S., & Schiex, T. (2007). Optimal soft arc consistency. In Proc. of IJCAI\u20192007, pp. 68\u201373. Hyderabad, India."},{"issue":"1-2","key":"9250_CR10","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/j.artint.2003.09.002","volume":"154","author":"MC Cooper","year":"2004","unstructured":"Cooper, M.C., & Schiex, T. (2004). Arc consistency for soft constraints. Artificial Intelligence, 154(1-2), 199\u2013227.","journal-title":"Artificial Intelligence"},{"key":"9250_CR11","doi-asserted-by":"crossref","unstructured":"Debruyne, R., & Bessi\u00e8re, C. (1997). From restricted path consistency to max-restricted path consistency. In Proc. of CP\u201997, no. 1330 in LNCS, pp. 312\u2013326. Springer-Verlag, Linz, Austria.","DOI":"10.1007\/BFb0017448"},{"key":"9250_CR12","unstructured":"Dehani, D., Lecoutre, C., & Roussel, O. (2013). Extension des coh\u00e9rences wcsps aux tuples. In Proc. of JFPC-13."},{"key":"9250_CR13","unstructured":"Favier, A., de Givry, S., Legarra, A., & Schiex, T. (2011). Pairwise decomposition for combinatorial optimization in graphical models. In Proc. of IJCAI\u201911. Barcelona, Spain."},{"key":"9250_CR14","unstructured":"Freuder, E.C., & Elfe, C.D. (1996). Neighborhood inverse consistency preprocessing. In Proc. of AAAI\u201996. Portland, OR."},{"key":"9250_CR15","doi-asserted-by":"crossref","unstructured":"Hurley, B., O\u2019Sullivan, B., Allouche, D., Katsirelos, G., Schiex, T., Zytnicki, M., & de Givry, S. (2016). Multi-Language Evaluation of Exact Solvers in Graphical Model Discrete Optimization. In Proc. of CP-AI-OR\u20192016. Banff, Canada.","DOI":"10.1007\/s10601-016-9245-y"},{"key":"9250_CR16","unstructured":"Larrosa, J. (2002). On arc and node consistency in weighted CSP. In Proc. AAAI\u201902, pp. 48\u201353. Edmondton, CA."},{"key":"9250_CR17","unstructured":"Larrosa, J., de Givry, S., Heras, F., & Zytnicki, M. (2005). Existential arc consistency: getting closer to full arc consistency in weighted CSPs. In Proc. of the 19 t h IJCAI, pp. 84\u201389. Edinburgh, Scotland."},{"issue":"2-3","key":"9250_CR18","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1016\/j.artint.2007.05.006","volume":"172","author":"J Larrosa","year":"2008","unstructured":"Larrosa, J., Heras, F., & de Givry, S. (2008). A logical approach to efficient max-sat solving. Artificial Intelligence, 172(2-3), 204\u2013233.","journal-title":"Artificial Intelligence"},{"key":"9250_CR19","unstructured":"Larrosa, J., & Schiex, T. (2003). In the quest of the best form of local consistency for weighted CSP. In Proc. of the 18 t h IJCAI, pp. 239\u2013244. Acapulco, Mexico."},{"issue":"1-2","key":"9250_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.artint.2004.05.004","volume":"159","author":"J Larrosa","year":"2004","unstructured":"Larrosa, J., & Schiex, T. (2004). Solving weighted CSP by maintaining arc consistency. Artificial Intelligence, 159(1-2), 1\u201326.","journal-title":"Artificial Intelligence"},{"key":"9250_CR21","unstructured":"Lee, J., & Leung, K. (2009). Towards efficient consistency enforcement for global constraints in weighted constraint satisfaction. In Proc. of the 21 r d IJCAI, pp. 559\u2013565. Pasadena (CA), USA."},{"key":"9250_CR22","first-page":"257","volume":"43","author":"J Lee","year":"2012","unstructured":"Lee, J., & Leung, K. (2012). Consistency techniques for flow-based projection-safe global cost functions in weighted constraint satisfaction. Artificial Intelligence, 43, 257\u2013292.","journal-title":"Artificial Intelligence"},{"issue":"1-2","key":"9250_CR23","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1007\/s10601-007-9029-5","volume":"13","author":"M S\u00e1nchez","year":"2008","unstructured":"S\u00e1nchez, M., de Givry, S., & Schiex, T. (2008). Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques. Constraints, 13(1-2), 130\u2013154.","journal-title":"Constraints"},{"key":"9250_CR24","doi-asserted-by":"crossref","unstructured":"Schiex, T. (2000). Arc consistency for soft constraints. In Principles and Practice of Constraint Programming - CP 2000, LNCS, vol. 1894, pp. 411\u2013424. Singapore.","DOI":"10.1007\/3-540-45349-0_30"},{"key":"9250_CR25","unstructured":"Schiex, T., Fargier, H., & Verfaillie, G. (1995). Valued constraint satisfaction problems: hard and easy problems. In Proc. of the 14 t h IJCAI, pp. 631\u2013637. Montr\u00e9al, Canada."},{"issue":"12","key":"9250_CR26","doi-asserted-by":"crossref","first-page":"5980","DOI":"10.1021\/acs.jctc.5b00594","volume":"11","author":"D Simoncini","year":"2015","unstructured":"Simoncini, D., Allouche, D., de Givry, S., Delmas, C., Barbe, S., & Schiex, T. (2015). Guaranteed discrete energy optimization on large protein design problems. Journal of Chemical Theory and Computation, 11(12), 5980\u20135989.","journal-title":"Journal of Chemical Theory and Computation"},{"issue":"17","key":"9250_CR27","doi-asserted-by":"crossref","first-page":"2129","DOI":"10.1093\/bioinformatics\/btt374","volume":"29","author":"S Traor\u00e9","year":"2013","unstructured":"Traor\u00e9, S., Allouche, D., Andr\u00e9, I., de Givry, S., Katsirelos, G., Schiex, T., & Barbe, S. (2013). A new framework for computational protein design through cost function network optimization. Bioinformatics, 29(17), 2129\u20132136.","journal-title":"Bioinformatics"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-016-9250-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-016-9250-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-016-9250-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-016-9250-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,13]],"date-time":"2017-06-13T17:10:34Z","timestamp":1497373834000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-016-9250-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,3]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,4]]}},"alternative-id":["9250"],"URL":"https:\/\/doi.org\/10.1007\/s10601-016-9250-1","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"type":"print","value":"1383-7133"},{"type":"electronic","value":"1572-9354"}],"subject":[],"published":{"date-parts":[[2016,9,3]]}}}