Automatic generation of CHR constraint solvers

DOI10.1017/S1471068405002371zbMath1104.68007OpenAlexW2119682742MaRDI QIDQ5696591

Slim Abdennadher, Christophe Rigotti

Publication date: 18 October 2005

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068405002371

zbMATH Keywords

constraint logic programming

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items (3)

Constructing Rule-Based Solvers for Intentionally-Defined Constraints ⋮ Guard Reasoning in the Refined Operational Semantics of CHR ⋮ Generation of Rule-Based Constraint Solvers: Combined Approach

This page was built for publication: Automatic generation of CHR constraint solvers