Generation of Rule-Based Constraint Solvers: Combined Approach

DOI10.1007/978-3-540-78769-3_8zbMath1179.68021OpenAlexW2176283065MaRDI QIDQ5504596

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

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

Related Items (1)

Constructing Rule-Based Solvers for Intentionally-Defined Constraints

Cites Work

• Theory and practice of constraint handling rules
• Automatic generation of CHR constraint solvers
• Logic Based Program Synthesis and Transformation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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