Max wrote:
> I finally managed to read "Dechter - Backjump-based backtracking for
> constraint satisfaction" and i think it is not restricted to Binary
> Constraints, because it is mentioned several times. And i have not
> found
> the list of allowed pairs in the paper, i thought of nogoods as se
Thank you for the advice with Choco, i will have a look at, but
currently i tend to use GeCode.
The work by Dechter et al uses a naive
model, where CSPs are represented entirely by binary constraints which
are given as lists of allowed pairs of values. In this setup,
learning
Just as a quick follow-up, Choco used to have a feature called
explanations, which would probably do what you're looking for, but as
far as I understand, they have been removed from the current release.
Cheers,
Guido
Max wrote:
> At first am just forwarding my private mail contact wi
At first am just forwarding my private mail contact with Guido Tack, as
it may be interesting to other on the mailing list.
Thank you for the answer. Its a pity that the learning techniques have
not made it into CSP yet.
I want to integrate a CSP solver into an ASP Solver, a reasoning system
fo
