Artificial Intelligence
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
On Forward Checking for Non-binary Constraint Satisfaction
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
Abstraction via approximate symmetry
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Look-ahead value ordering for constraint satisfaction problems
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Abstracting soft constraints: framework, properties, examples
Artificial Intelligence
WoLFram- A Word Level Framework for Formal Verification
RSP '09 Proceedings of the 2009 IEEE/IFIP International Symposium on Rapid System Prototyping
A CSP solver focusing on FAC variables
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Implementing an abstraction framework for soft constraints
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
| Hi-index | 0.00 |
In this paper, we present a Java constraint programming prototype called AbsCon which has been conceived to deal with CSP abstraction. AbsCon considers n-ary constraints and implements different value and variable ordering heuristics as well as different propagation methods. As AbsCon exploits object technology, it is easy to extend its functionalities.