SAC

robert
2013-12-12
2013-12-12
  • robert
    robert
    2013-12-12

    hello, thank you for your attention .I have some problems in the following.
    I am from Jilin university from China. Now I am researching on the CSP problems with choco 2.1.5.
    Now I would like to have a extension of some arc consistency algorithms that choco does not implement.
    For example, for implementing the SAC1 that bases on the AC3 algorithm, I encountered a problem that I must call the AC3 algorithm which executes on the whole variables of the problem. But in choco, the AC3 algorithm executes on the variables involved the constraints. How should I solve the difficulties.
    Thank you for your time and attention.