Constraint solver synthesis using tabled resolution for constraint logic programming

DOI10.1007/3-540-45013-0_3MaRDI QIDQ3079917zbMATH OpenOpenAlexFDO

Authors Slim Abdennadher, Christophe Rigotti

Publication date 4 March 2011

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

Full work available at URL https://doi.org/10.1007/3-540-45013-0_3

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Automatic generation of CHR constraint solvers
• Generation of Rule-Based Constraint Solvers: Combined Approach
• scientific article; zbMATH DE number 2084695
• Efficient program synthesis using constraint satisfaction in inductive logic programming
• Constructing Rule-Based Solvers for Intentionally-Defined Constraints

Cited in

(5)

• Generation of Rule-Based Constraint Solvers: Combined Approach
• Automatic synthesis of constraints from examples using mixed integer linear programming
• scientific article; zbMATH DE number 4164192 (Why is no real title available?)
• Automatic generation of CHR constraint solvers
• Efficient program synthesis using constraint satisfaction in inductive logic programming

This page was built for publication: Constraint solver synthesis using tabled resolution for constraint logic programming

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