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


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


  • Presentations referencing similar topics