Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Lecture Notes in Computer Science;D. Monniaux,2007
2. Monniaux, D.: Automatic modular abstractions for linear constraints. In: POPL (Principles of programming languages). ACM, New York (2009)
3. Lecture Notes in Computer Science;Y. Moy,2008
4. Cox, D., Little, J., O’Shea, D.: Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3rd edn. Springer, Heidelberg (2007)
5. Kroening, D., Strichman, O.: Decision procedures. Springer, Heidelberg (2008)
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quantified Linear Arithmetic Satisfiability via Fine-Grained Strategy Improvement;Lecture Notes in Computer Science;2024
2. Safe and Infinite Resource Scheduling Using Energy Timed Automata;Lecture Notes in Computer Science;2024
3. Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability;Lecture Notes in Computer Science;2023-12-30
4. On the Space of Coefficients of a Feedforward Neural Network;2023 International Joint Conference on Neural Networks (IJCNN);2023-06-18
5. Multi-phase invariant synthesis;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07