scientific article; zbMATH DE number 67819

zbMATH Open0749.68018MaRDI QIDQ4013771FDOQ4013771

Authors: Sieger van Denneheuvel, K. L. Kwast 

Publication date: 27 September 1992

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

Recommendations

• scientific article; zbMATH DE number 1292304
• A canonical form for generalized linear constraints
• Heterogeneous constraint solving
• Publication:4508935
• A new proposal of quasi-solved form for equality constraint solving

zbMATH Keywords

intermediate variablesrestrictionweak equivalenceconstraint solving systems

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Artificial intelligence (68T99) Logic programming (68N17)

Cited In (4)

• Transforming constraint logic programs
• On the restricted equivalence for subclasses of propositional logic
• Title not available (Why is that?)
• A deontic approach to database integrity

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 Q4013771)