ec 2 00 2 Convergent Approximate Solving of First-Order Constraints by Approximate Quanti ers

Abstract

Exactly solving rst-order constraints (i.e., rst-order formulas over a certain prede ned structure) can be a very hard, or even undecidable problem. In continuous structures like the real numbers it is promising to compute approximate solutions instead of exact ones. However, the quanti ers of the rst-order predicate language are an obstacle to allowing… (More)

1 Figure or Table

Topics

  • Presentations referencing similar topics