DMCA
Towards Inductive Constraint Solving (2001)
Cached
Download Links
- [www.pms.informatik.uni-muenchen.de]
- [www.pms.ifi.lmu.de]
- DBLP
Other Repositories/Bibliography
| Citations: | 10 - 6 self |
BibTeX
@MISC{Abdennadher01towardsinductive,
author = {Slim Abdennadher and Christophe Rigotti},
title = {Towards Inductive Constraint Solving},
year = {2001}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
A difficulty that arises frequently when writing a constraint solver is to determine the constraint propagation and simplification algorithm. In previous work, different methods for automatic generation of propagation rules [5,17,3] and simplification rules [4] for constraints defined over finite domains have been proposed. In this paper, we present a method for generating rule-based solvers for constraint predicates defined by means of a constraint logic program, even when the constraint domain is infinite. This approach can be seen as a concrete step towards Inductive Constraint Solving.
