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

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

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)

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

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)