[图书][B] Handbook of constraint programming
Constraint programming is a powerful paradigm for solving combinatorial search problems
that draws on a wide range of techniques from artificial intelligence, computer science …
that draws on a wide range of techniques from artificial intelligence, computer science …
As time goes by: constraint handling rules: a survey of CHR research from 1998 to 2007
Constraint Handling Rules (CHR) is a high-level programming language based on
multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint …
multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint …
Constraint handling rules-what else?
T Frühwirth - … Foundations, Tools, and Applications: 9th International …, 2015 - Springer
Abstract Constraint Handling Rules (CHR) is both an effective concurrent declarative
constraint-based programming language and a versatile computational formalism. While …
constraint-based programming language and a versatile computational formalism. While …
Linear-logic based analysis of constraint handling rules with disjunction
H Betz, T Frühwirth - ACM Transactions on Computational Logic (TOCL), 2013 - dl.acm.org
Constraint Handling Rules (CHR) is a declarative rule-based programming language that
has cut out its niche over the course of the last 20 years. It generalizes concurrent constraint …
has cut out its niche over the course of the last 20 years. It generalizes concurrent constraint …
Constraint handling rules: the story so far
T Frühwirth - Proceedings of the 8th ACM SIGPLAN international …, 2006 - dl.acm.org
Rule-based programming experiences renaissance due to its applications in areas such as
Business Rules, Semantic Web, Computational Biology, Verification and Security …
Business Rules, Semantic Web, Computational Biology, Verification and Security …
Optimizing Compilation and Computational Complexity of Constraint Handling Rules: Ph. D. Thesis Summary
J Sneyers - … : 25th International Conference, ICLP 2009, Pasadena …, 2009 - Springer
Abstract Constraint Handling Rules [1, 2] is a high-level programming language extension
based on multi-headed committed-choice multiset rewrite rules. It can be used as a stand …
based on multi-headed committed-choice multiset rewrite rules. It can be used as a stand …
Constraints in procedural and concurrent languages
Publisher Summary This chapter addresses the integration of constraints and search into
programming languages from three different points of views. It discusses the various uses of …
programming languages from three different points of views. It discusses the various uses of …
Probabilistic termination of CHRiSM programs
J Sneyers, D De Schreye - … , LOPSTR 2011, Odense, Denmark, July 18-20 …, 2012 - Springer
Termination analysis has received considerable attention in Logic Programming for several
decades. In recent years, probabilistic extensions of Logic Programming languages have …
decades. In recent years, probabilistic extensions of Logic Programming languages have …
Toward sustainable development in constraint programming
Toward sustainable development in constraint programming Page 1 Constraints (2014) 19:139–149
DOI 10.1007/s10601-013-9152-4 Toward sustainable development in constraint programming …
DOI 10.1007/s10601-013-9152-4 Toward sustainable development in constraint programming …
Semi-automatic generation of CHR solvers for global constraints
F Raiser - International Conference on Principles and Practice of …, 2008 - Springer
Constraint programming often involves global constraints, for which various custom filtering
algorithms have been published. This work presents a semi-automatic generation of CHR …
algorithms have been published. This work presents a semi-automatic generation of CHR …