Stefan Ratschan  Home/Search
Context
Related
| risc.unilinz.ac.at/people/sr...bib.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: risc.unilinz.ac.at/people/sra... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: lester, and Deepak Kapur. Solving polynomial systems using a branch and prune approach. SIAM Journal on Numerical Analysis, 34(2), 1997. [9] Hoon Hong and Volker Stahl. Safe starting regions by fixed points and tightening. Computing, 53:323--335, 1994. [10] Luc Jaulin and Eric Walter. Guaranteed tuning, with application to robust control and motion planning. Automatica, 32(8):1217--1221, 1996. [11] Olivier Lhomme. Consistency techniques for numeric CSPs. In Proceedings 13th Intl. Joint Conf. ... (Update)
Active bibliography (related documents): More All
0.0: A Constraint-Propagation Approach to Quantified Constraints - Bordeaux (Correct)
0.0: Using Directed Acyclic Graphs to Coordinate Propagation.. - Vu, Schichl, Sam-Haroud (2004) (Correct)
0.0: Exploiting Solution Clusters for Coarse-Grained Distributed Search - Parkes (2001) (Correct)
Similar documents based on text: More All
0.5: Applications of Real First-Order Constraint Solving Bibliography - Ratschan (2001) (Correct)
0.4: Approximate Quantified Constraint Solving By Cylindrical Box.. - Ratschan (2002) (Correct)
0.4: Search Heuristics for Box Decomposition Methods - Ratschan (2003) (Correct)
BibTeX entry: (Update)
@misc{ ratschan-computing,
author = "Stefan Ratschan",
title = "Computing, 8(1):21-42, 2002. [18] Stefan Ratschan. Quantified constraints
under perturbations.",
url = "citeseer.ist.psu.edu/ratschan02computing.html" }
Citations (may not include all citations):86 Van Hentenryck (context) - Benhamou, McAllester - 1994
42 Cylindrical algebraic decomposition I: The basic algorithm (context) - Arnon, Collins et al. - 1984
17 Universally quantified interval constraints - Benhamou, Goualard
Documents on the same site (http://www.risc.uni-linz.ac.at/people/sratscha/): More
Applications of Real First-Order Constraint Solving Bibliography - Ratschan (2001) (Correct)
Real First-Order Constraints Are Stable with Probability One - Ratschan (2001) (Correct)
Convergent Approximate Solving of First-Order Constraints by.. - Ratschan (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC