Author:
Burgess Mark Alexander,Gretton Charles,Milthorpe Josh,Croak Luke,Willingham Thomas,Tiu Alwen
Publisher
Springer Nature Switzerland
Reference38 articles.
1. Lecture Notes in Computer Science;G Audemard,2017
2. Baldoni, R., Coppa, E., D’Elia, D.C., Demetrescu, C., Finocchi, I.: A survey of symbolic execution techniques. ACM Comput. Surv. 51(3), 1–39 (2018)
3. Balyo, T., Sanders, P., Sinz, C.: HordeSat: a massively parallel portfolio SAT solver. In: Theory and Applications of Satisfiability Testing - SAT 2015 (2015)
4. Biere, A.: Lingeling, Plingeling, PicoSAT and PrecoSAT at SAT Race 2010. FMV Technical Report 10/1, Johannes Kepler University, Linz, Austria (2010)
5. Biere, A.: Splatz, Lingeling, PLingeling, Treengeling, YalSAT. In: Proceedings of the SAT Competition, pp. 44–45 (2016)