Automatic generation of CHR constraint solvers
From MaRDI portal
Publication:5696591
DOI10.1017/S1471068405002371zbMath1104.68007MaRDI QIDQ5696591
Christophe Rigotti, Slim Abdennadher
Publication date: 18 October 2005
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68N17: Logic programming
Related Items
Generation of Rule-Based Constraint Solvers: Combined Approach, Constructing Rule-Based Solvers for Intentionally-Defined Constraints, Guard Reasoning in the Refined Operational Semantics of CHR