Simulation and Optimization by Quantifier Elimination

被引：0
|
作者：
Weispfenning, V.
机构：
来源：
Journal of Symbolic Computation | / 24卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Simulation and optimization by quantifier elimination
    Weispfenning, V
    JOURNAL OF SYMBOLIC COMPUTATION, 1997, 24 (02) : 189 - 208
  • [2] Simultaneous quantifier elimination
    Autexier, S
    Mantel, H
    Stephan, W
    KI-98: ADVANCES IN ARTIFICIAL INTELLIGENCE, 1998, 1504 : 141 - 152
  • [3] Linear Quantifier Elimination
    Tobias Nipkow
    Journal of Automated Reasoning, 2010, 45 : 189 - 212
  • [4] Linear quantifier elimination
    Nipkow, Tobias
    AUTOMATED REASONING, PROCEEDINGS, 2008, 5195 : 18 - 33
  • [5] Variant quantifier elimination
    Hong, Hoon
    El Din, Mohab Safey
    JOURNAL OF SYMBOLIC COMPUTATION, 2012, 47 (07) : 883 - 901
  • [6] QUANTIFIER ELIMINATION IN SHEAVES
    BOFFA, M
    CHERLIN, G
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1980, 290 (08): : 355 - 357
  • [7] Quantifier elimination for quartics
    Yang, Lu
    Xia, Bican
    ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS, 2006, 4120 : 131 - 145
  • [8] QUANTIFIER ELIMINATION AND NEARFIELDS
    SCHULZ, K
    ABHANDLUNGEN AUS DEM MATHEMATISCHEN SEMINAR DER UNIVERSITAT HAMBURG, 1988, 58 : 169 - 174
  • [9] Linear Quantifier Elimination
    Nipkow, Tobias
    JOURNAL OF AUTOMATED REASONING, 2010, 45 (02) : 189 - 212
  • [10] Tree-depth, quantifier elimination, and quantifier rank
    Chen, Yijia
    Flum, Joerg
    LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 225 - 234
12345