scientific article; zbMATH DE number 67819

MaRDI QIDQ4013771zbMATH OpenFDO

Authors Sieger van Denneheuvel, K. L. Kwast

Publication date 27 September 1992

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)

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

Cited in

(4)

• Transforming constraint logic programs
• On the restricted equivalence for subclasses of propositional logic
• scientific article; zbMATH DE number 1390058 (Why is no real title available?)
• 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)