Simulation and Optimization by Quantifier Elimination

被引：0
|
作者：
Weispfenning, V.
机构：
来源：
Journal of Symbolic Computation | / 24卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] 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
  • [42] Efficient preprocessing methods for quantifier elimination
    Brown, Christopher W.
    Gross, Christian
    COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, PROCEEDINGS, 2006, 4194 : 89 - 100
  • [43] On the elimination of quantifier-free cuts
    Weller, Daniel
    THEORETICAL COMPUTER SCIENCE, 2011, 412 (49) : 6843 - 6854
  • [44] QUANTIFIER ELIMINATION FOR MODULES WITH SCALAR VARIABLES
    VANDENDRIES, L
    HOLLY, J
    ANNALS OF PURE AND APPLIED LOGIC, 1992, 57 (02) : 161 - 179
  • [45] Partial Quantifier Elimination and Property Generation
    Goldberg, Eugene
    COMPUTER AIDED VERIFICATION, CAV 2023, PT II, 2023, 13965 : 110 - 131
  • [46] Non-effective quantifier elimination
    Prunescu, M
    MATHEMATICAL LOGIC QUARTERLY, 2001, 47 (04) : 557 - 561
  • [47] A (restricted) quantifier elimination for security protocols
    Ramanujam, R.
    Suresh, S. P.
    THEORETICAL COMPUTER SCIENCE, 2006, 367 (1-2) : 228 - 256
  • [48] Quantifier Elimination via Clause Redundancy
    Goldberg, Eugene
    Manolios, Panagiotis
    2013 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2013, : 85 - 92
  • [49] QUANTIFIER ELIMINATION FOR REAL CLOSED FIELDS
    BOGE, W
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 229 : 247 - 261
  • [50] COMPUTATIONAL QUANTIFIER ELIMINATION - SPECIAL ISSUE
    HONG, H
    COMPUTER JOURNAL, 1993, 36 (05): : 399 - 399
12345