Author:
Beyer Dirk,Löwe Stefan,Wendler Philipp
Publisher
Springer International Publishing
Reference13 articles.
1. Balint, A., Belov, A., Heule, M., Järvisalo, M.: Proceedings of SAT competition 2013: Solver and benchmark descriptions. Technical report B-2013-1, University of Helsinki (2013)
2. Barrett, C., Deters, M., de Moura, L., Oliveras, A., Stump, A.: 6 years of SMT-COMP. J. Autom. Reasoning 50(3), 243–277 (2012)
3. Lecture Notes in Computer Science;D Beyer,2015
4. Lecture Notes in Computer Science;D Beyer,2014
5. Lecture Notes in Computer Science;G Charwat,2013
Cited by
43 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Truncating abstraction of bit-vector operations for BDD-based SMT solvers;Theoretical Computer Science;2024-09
2. The Model Counting Competition 2020;ACM Journal of Experimental Algorithmics;2021-12-31
3. An Empirical Study of Flaky Tests in Python;2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST);2021-04
4. An Evaluation Framework for Comparative Analysis of Generalized Stochastic Petri Net Simulation Techniques;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2020-08
5. Difference Verification with Conditions;Software Engineering and Formal Methods;2020