Simulation and Optimization by Quantifier Elimination

被引：0
|
作者：
Weispfenning, V.
机构：
来源：
Journal of Symbolic Computation | / 24卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Quantifier elimination for neocompact sets
    Keisler, HJ
    JOURNAL OF SYMBOLIC LOGIC, 1998, 63 (04) : 1442 - 1472
  • [22] Quantifier elimination by dependency sequents
    Goldberg, Eugene
    Manolios, Panagiotis
    FORMAL METHODS IN SYSTEM DESIGN, 2014, 45 (02) : 111 - 143
  • [23] Consequences of neocompact quantifier elimination
    Baratella, S
    Ng, SA
    MATHEMATICAL LOGIC QUARTERLY, 2003, 49 (02) : 150 - 162
  • [24] QUANTIFIER ELIMINATION FOR DISTRIBUTIVE LATTICES
    WEISPFENNING, V
    JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 709 - 709
  • [25] Fast Approximations of Quantifier Elimination
    Garcia-Contreras, Isabel
    Govind, V. K. Hari
    Shoham, Sharon
    Gurfinkel, Arie
    COMPUTER AIDED VERIFICATION, CAV 2023, PT II, 2023, 13965 : 64 - 86
  • [26] On difference fields with quantifier elimination
    Moosa, R
    BULLETIN OF THE LONDON MATHEMATICAL SOCIETY, 2001, 33 : 641 - 646
  • [27] Quantifier Elimination by Dependency Sequents
    Goldberg, Eugene
    Manolios, Panagiotis
    PROCEEDINGS OF THE 12TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2012), 2012, : 34 - 43
  • [28] Symbolic-numeric optimization by quantifier elimination : an application to biological kinetic model
    Oii, Shigeo
    Anai, Hirokazu
    Horimoto, Katsuhisa
    WMSCI 2005: 9TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 8, 2005, : 15 - 20
  • [29] Quantifier elimination in automatic loop parallelization
    Groesslinger, Armin
    Griebl, Martin
    Lengauer, Christian
    JOURNAL OF SYMBOLIC COMPUTATION, 2006, 41 (11) : 1206 - 1221
  • [30] REAL QUANTIFIER ELIMINATION IS DOUBLY EXPONENTIAL
    DAVENPORT, JH
    HEINTZ, J
    JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5 (1-2) : 29 - 35
12345