Generation of Rule-Based Constraint Solvers: Combined Approach

DOI10.1007/978-3-540-78769-3_8MaRDI QIDQ5504596zbMATH OpenOpenAlexFDO

Authors Slim Abdennadher, Ingi Sobhi

Publication date 22 January 2009

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78769-3_8

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• scientific article; zbMATH DE number 2084695
• Constructing Rule-Based Solvers for Intentionally-Defined Constraints
• Constraint solver synthesis using tabled resolution for constraint logic programming
• Automatic generation of CHR constraint solvers
• Automatic generation of rule-based constraint solvers over finite domains

Cites work

• Automatic generation of CHR constraint solvers
• scientific article; zbMATH DE number 1696815 (Why is no real title available?)
• scientific article; zbMATH DE number 2080296 (Why is no real title available?)
• scientific article; zbMATH DE number 2084695 (Why is no real title available?)
• scientific article; zbMATH DE number 1487976 (Why is no real title available?)
• Logic Based Program Synthesis and Transformation
• Theory and practice of constraint handling rules

Cited in

(8)

• Formal model-based constraint solving and document generation
• Constraint solver synthesis using tabled resolution for constraint logic programming
• scientific article; zbMATH DE number 4164192 (Why is no real title available?)
• Constructing Rule-Based Solvers for Intentionally-Defined Constraints
• scientific article; zbMATH DE number 2084695 (Why is no real title available?)
• Automatic generation of rule-based constraint solvers over finite domains
• Automatic generation of CHR constraint solvers
• Rule-Generation Theorem and its Applications

This page was built for publication: Generation of Rule-Based Constraint Solvers: Combined Approach

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