scientific article; zbMATH DE number 1759711

MaRDI QIDQ4536723zbMATHFDO

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

Publication date 25 June 2002

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
• scientific article; zbMATH DE number 1949592
• Towards a design calculus for CSP
• Data abstraction techniques in the validation of CSP-OZ specifications
• Counter abstraction in the CSP/FDR setting
• scientific article; zbMATH DE number 2084767

Cited in

(6)

• Abstracting soft constraints: framework, properties, examples
• Integrated Formal Methods
• scientific article; zbMATH DE number 1759706 (Why is no real title available?)
• ASP modulo CSP: The clingcon system.
• scientific article; zbMATH DE number 2084751 (Why is no real title available?)
• Recent Advances in Constraints

This page was built for publication:

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