scientific article; zbMATH DE number 5526522

MaRDI QIDQ3614567zbMATH OpenFDO

Authors Carlos Grandón, Alexandre Goldsztejn

Publication date 9 March 2009

zbMATH Keywords

distance constraints

Mathematics Subject Classification ID

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

Recommendations

• Generalizing consistency and other constraint properties to quantified constraints
• Computer Algebra in Scientific Computing
• Automated generation of logical constraints on approximation spaces using quantifier elimination
• Inner and Outer Approximations of Existentially Quantified Equality Constraints
• Quantifier elimination for linear modular constraints
• On probabilistic elimination of generalized quantifiers
• scientific article; zbMATH DE number 2080299
• On the Complexity of Quantifier Elimination: the Structural Approach

Cited in

(2)

• Inner and Outer Approximations of Existentially Quantified Equality Constraints
• \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem

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