Soft constraint propagation and solving in CHRs

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2002, Pages 1-5

  Bistarelli, Stefano ^a   Frühwirth, Thom ^a   Marte, Michael ^a  

^a Ist per la Applicazioni Telematiche   (Italy)

Author keywords

Constraint programming; Constraint reasoning algorithms

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; CONSTRAINT THEORY; FUZZY SETS; OPTIMIZATION; PROLOG (PROGRAMMING LANGUAGE); SEMANTICS; SOFTWARE ENGINEERING; SYNTACTICS;

CONSTRAINT HANDLING RULES; CONSTRAINT PROGRAMMING; CONSTRAINT REASONING ALGORITHM; SOFT CONSTRAINT PROPAGATION;

LOGIC PROGRAMMING;

EID: 0036038693     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/508791.508793     Document Type: Conference Paper

References (14)

1. Semiring-based constraint solving and optimization
2. Constraint hierarchies and logic programming
3. Compiling constraints in clp (fd)
4. The calculus of fuzzy restrictions as a basis for flexible constraint satisfaction
5. Partial constrint satisfaction
6. Theory and practice of constraint handling rules
7. Compiling semiring-based constraints with clp(fd,s)
8. Search and strategies in OPL