Simulation and Optimization by Quantifier Elimination

被引：0

|

作者：

Weispfenning, V.

机构：

来源：

Journal of Symbolic Computation | / 24卷 / 02期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[41] Quantifier Elimination via Functional Composition
Jiang, Jie-Hong R.
COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2009, 5643 : 383 - 397
[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] Non-effective quantifier elimination
Prunescu, M
MATHEMATICAL LOGIC QUARTERLY, 2001, 47 (04) : 557 - 561
[46] Partial Quantifier Elimination and Property Generation
Goldberg, Eugene
COMPUTER AIDED VERIFICATION, CAV 2023, PT II, 2023, 13965 : 110 - 131
[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

← 1 2 3 4 5 →