Simulation and Optimization by Quantifier Elimination

被引：0
|
作者：
Weispfenning, V.
机构：
来源：
Journal of Symbolic Computation | / 24卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] On solving semidefinite programming by quantifier elimination
    Anai, H
    PROCEEDINGS OF THE 1998 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 1998, : 2814 - 2818
  • [32] Lower Bounds for RAMs and Quantifier Elimination
    Ajtai, Miklos
    STOC'13: PROCEEDINGS OF THE 2013 ACM SYMPOSIUM ON THEORY OF COMPUTING, 2013, : 803 - 812
  • [33] Quantifier elimination in elementary set theory
    Orlowska, Ewa
    Szalas, Andrzej
    RELATIONAL METHODS IN COMPUTER SCIENCE, 2005, 2006, 3929 : 237 - 248
  • [34] Quantifier Elimination by Lazy Model Enumeration
    Monniaux, David
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 585 - 599
  • [35] QUANTIFIER ELIMINATION FOR MODULES AND ORDERED GROUPS
    FLEISCHER, I
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1976, 24 (01): : 9 - 15
  • [36] Solving DQBF Through Quantifier Elimination
    Gitina, Karina
    Wimmer, Ralf
    Reimer, Sven
    Sauer, Matthias
    Scholl, Christoph
    Becker, Bernd
    2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2015, : 1617 - 1622
  • [37] Overconvergent real closed quantifier elimination
    Lipshitz, L.
    Robinson, Z.
    BULLETIN OF THE LONDON MATHEMATICAL SOCIETY, 2006, 38 : 897 - 906
  • [38] Canonical finite diagrams and quantifier elimination
    Hyttinen, T
    MATHEMATICAL LOGIC QUARTERLY, 2002, 48 (04) : 533 - 554
  • [39] Formalizing Constructive Quantifier Elimination in Agda
    Pope, Jeremy
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (275): : 2 - 17
  • [40] Determining Passivity via Quantifier Elimination
    Vosswinkel, Rick
    Mihailescu-Stoica, Dinu
    Schroedel, Frank
    Roebenack, Klaus
    2019 27TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), 2019, : 13 - 18
12345