scientific article; zbMATH DE number 67819

MaRDI QIDQ4013771zbMATH OpenFDO

Authors Sieger van Denneheuvel, K. L. Kwast

Publication date 27 September 1992

zbMATH Keywords

constraint solving systemsintermediate variablesrestrictionweak equivalence

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(5)

• Transforming constraint logic programs
• A deontic approach to database integrity
• On the restricted equivalence for subclasses of propositional logic
• scientific article; zbMATH DE number 1292304 (Why is no real title available?)
• scientific article; zbMATH DE number 1390058 (Why is no real title available?)

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)