Automatic generation of CHR constraint solvers

DOI10.1017/S1471068405002371zbMATH Open1104.68007OpenAlexW2119682742MaRDI QIDQ5696591FDOQ5696591

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

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

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)

Cited In (8)

• Constructing Rule-Based Solvers for Intentionally-Defined Constraints
• Generation of Rule-Based Constraint Solvers: Combined Approach
• Title not available (Why is that?)
• 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)