A Toolkit for Constraint-Based Inference Engines
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Practical Investigation of Constraints with Graph Views
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
ViMer: a visual debugger for mercury
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Theory and Practice of Logic Programming
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Programming constraint services: high-level programming of standard and new constraint services
Programming constraint services: high-level programming of standard and new constraint services
A generic visualization platform for CP
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
An explanation-based constraint debugger
HVC'09 Proceedings of the 5th international Haifa verification conference on Hardware and software: verification and testing
Hi-index | 0.00 |