scientific article; zbMATH DE number 1759711

zbMATH Open0989.68132MaRDI QIDQ4536723FDOQ4536723

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

Publication date: 25 June 2002

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (4)

• ASP modulo CSP: The clingcon system.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Abstracting soft constraints: framework, properties, examples

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)