实数域上量化约束求解的应用——参考文献
计算机科学中的逻辑
2025-07-23 v2
摘要
实数域上的量化约束出现在众多情境中。通常，当系统的某些参数可由用户选择时会出现存在量词，而当参数的精确值未知，或者当其以无限多个相似版本出现时，会出现全称量词。以下是一个应用领域及包含实数域上量化约束求解应用的出版物列表。该列表肯定是不完整的，但随着作者遇到新条目而不断增长。非常欢迎贡献！
引用
@article{arxiv.1205.5571,
title = {Applications of Quantified Constraint Solving over the Reals -- Bibliography},
author = {Stefan Ratschan},
journal= {arXiv preprint arXiv:1205.5571},
year = {2025}
}