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
42 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The Model Counting Competition 2020;ACM Journal of Experimental Algorithmics;2021-12-31
2. An Empirical Study of Flaky Tests in Python;2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST);2021-04
3. An Evaluation Framework for Comparative Analysis of Generalized Stochastic Petri Net Simulation Techniques;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2020-08
4. Difference Verification with Conditions;Software Engineering and Formal Methods;2020
5. Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions;Theory and Applications of Satisfiability Testing – SAT 2020;2020