Author:Simon Schwarz

Publications
Efficient Linear Model Building and Clause Evaluation Simon Schwarz, Christoph Weidenbach and Fabian Wobito In:Proceedings of 16th International Workshop on the Implementation on Logics. Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning (short papers)
Automatic Bit- and Memory-Precise Verification of eBPF Code Martin Bromberger, Simon Schwarz and Christoph Weidenbach In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Exploring Partial Models with SCL Martin Bromberger, Simon Schwarz and Christoph Weidenbach In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning