A CSP abstraction framework

DOI10.1007/3-540-44914-0_10MaRDI QIDQ4536723zbMATH OpenFDO

Authors Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, E. Grégoire

Publication date 25 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Recommendations

• Abstraction and testing in CSP
• A mechanized strategy for safe abstraction of CSP specifications
• Abstract specification in Object-Z and CSP
• Towards a design calculus for CSP
• Data abstraction techniques in the validation of CSP-OZ specifications
• Counter abstraction in the CSP/FDR setting
• Exploiting the CSP structure by interchangeability

Cited in

(6)

• Abstracting soft constraints: framework, properties, examples
• AbsCon: A prototype to solve CSPs with abstraction
• An abstraction framework for soft constraints and its relationship with constraint propagation
• ASP modulo CSP: The clingcon system.
• Integrated Formal Methods
• Recent Advances in Constraints

This page was built for publication: A CSP abstraction framework

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