Proving Termination of Constraint Solver Programs
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Automatic Generation of Propagation Rules for Finite Domains
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Constraint handling rules: the story so far
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Semi-automatic Generation of CHR Solvers for Global Constraints
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Guard Reasoning in the Refined Operational Semantics of CHR
Constraint Handling Rules
Strong Joinability Analysis for Graph Transformation Systems in CHR
Electronic Notes in Theoretical Computer Science (ENTCS)
Constraint solver synthesis using tabled resolution for constraint logic programming
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
A complete and terminating execution model for constraint handling rules
Theory and Practice of Logic Programming
Analysing graph transformation systems through constraint handling rules
Theory and Practice of Logic Programming
Specialization of concurrent guarded multi-set transformation rules
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Diagrammatic confluence for constraint handling rules*
Theory and Practice of Logic Programming
Hi-index | 0.00 |