Automatic generation of CHR constraint solvers

DOI10.1017/S1471068405002371MaRDI QIDQ5696591zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Automatic implication checking for CHR constraints
• Constraint solver synthesis using tabled resolution for constraint logic programming
• Automatic generation of rule-based constraint solvers over finite domains
• scientific article; zbMATH DE number 2080296
• Generation of Rule-Based Constraint Solvers: Combined Approach

Cited in

(8)

• Automatic generation of redundant models for permutation constraint satisfaction problems
• Automatic implication checking for CHR constraints
• scientific article; zbMATH DE number 2089015 (Why is no real title available?)
• Constraint solver synthesis using tabled resolution for constraint logic programming
• Constructing Rule-Based Solvers for Intentionally-Defined Constraints
• Guard Reasoning in the Refined Operational Semantics of CHR
• Automatic generation of rule-based constraint solvers over finite domains
• Generation of Rule-Based Constraint Solvers: Combined Approach

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5696591)