Applications of Quantified Constraint Solving over the Reals -- Bibliography
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2012
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866912495166291968 |
|---|---|
| author | Ratschan, Stefan |
| author_facet | Ratschan, Stefan |
| contents | Quantified constraints over the reals appear in numerous contexts. Usually existential quantification occurs when some parameter can be chosen by the user of a system, and univeral quantification when the exact value of a parameter is either unknown, or when it occurs in infinitely many, similar versions. The following is a list of application areas and publications that contain applications for solving quantified constraints over the reals. The list is certainly not complete, but grows as the author encounters new items. Contributions are very welcome! |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1205_5571 |
| institution | arXiv |
| publishDate | 2012 |
| record_format | arxiv |
| spellingShingle | Applications of Quantified Constraint Solving over the Reals -- Bibliography Ratschan, Stefan Logic in Computer Science Quantified constraints over the reals appear in numerous contexts. Usually existential quantification occurs when some parameter can be chosen by the user of a system, and univeral quantification when the exact value of a parameter is either unknown, or when it occurs in infinitely many, similar versions. The following is a list of application areas and publications that contain applications for solving quantified constraints over the reals. The list is certainly not complete, but grows as the author encounters new items. Contributions are very welcome! |
| title | Applications of Quantified Constraint Solving over the Reals -- Bibliography |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/1205.5571 |