Enhancing set constraint solvers with lexicographic bounds-Reference-Cited by-同舟云学术

Enhancing set constraint solvers with lexicographic bounds

Published:2007-05-19 Issue:1 Volume:14 Page:23-67
ISSN:1381-1231
Container-title:Journal of Heuristics
language:en
Short-container-title:J Heuristics

Author:

Sadler Andrew,Gervet Carmen

Publisher

Springer Science and Business Media LLC

Subject

Artificial Intelligence,Management Science and Operations Research,Control and Optimization,Computer Networks and Communications,Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/s10732-007-9028-0.pdf

Reference53 articles.

1. Azevedo, F.: Constraint solving over multi-valued logics. Application to digital circuits. In: Frontiers in Artificial Intelligence and Applications. IOS, Amsterdam (2003)

2. Lecture Notes in Computer Science;F. Azevedo,2000

3. Barnier, N., Brisset, P.: Facile: a functional constraint library. In: CICLOPS’01 Workshop, held alongside with CP-2001, 2001

4. Lecture Notes in Computer Science;N. Barnier,2004

5. Lecture Notes in Computer Science;F. Benhamou,1995

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Enhancing set constraint solvers with bound consistency;Expert Systems with Applications;2018-02

2. A constraint propagation approach to structural model based image segmentation and recognition;Information Sciences;2013-10

3. Partial symmetry breaking by local search in the group;Constraints;2012-03-14

4. Extending the $\mathcal{TOY}$ System with the ECL i PS e Solver over Sets of Integers;Functional and Logic Programming;2012

5. Checking and Filtering Global Set Constraints;Principles and Practice of Constraint Programming – CP 2011;2011