1. Quantitative Verification of Neural Networks and Its Security Applications
2. Balyo , T. , Heule , M.J.H. , Järvisalo , M. : Preface. In : Balyo, T., Heule, M.J.H., Järvisalo, M. (eds.) Proceedings of SAT Competition 2017 : Solver and Benchmark Descriptions . pp. 3 -- 3 (2017) Balyo, T., Heule, M.J.H., Järvisalo, M.: Preface. In: Balyo, T., Heule, M.J.H., Järvisalo, M. (eds.) Proceedings of SAT Competition 2017: Solver and Benchmark Descriptions. pp. 3--3 (2017)
3. Beth , E.W. : On Padoa's method in the theory of definition . In: Journal of Symbolic Logic 21. pp. 194 -- 195 . No. 2 (1956) Beth, E.W.: On Padoa's method in the theory of definition. In: Journal of Symbolic Logic 21. pp. 194--195. No. 2 (1956)
4. Biere , A. : Lingeling, Plingeling and Treengeling entering the SAT Competition 2013 . In : Balint, A., Belov, A., Heule, M.J.H., Järvisalo, M. (eds.) Proceedings of SAT Competition 2013: Solver and Benchmark Descriptions . pp. 51 -- 52 (2013) Biere, A.: Lingeling, Plingeling and Treengeling entering the SAT Competition 2013. In: Balint, A., Belov, A., Heule, M.J.H., Järvisalo, M. (eds.) Proceedings of SAT Competition 2013: Solver and Benchmark Descriptions. pp. 51--52 (2013)
5. A Scalable and Nearly Uniform Generator of SAT Witnesses