Author:Yasmine Briefs

Publications
Extending SMT Solving with Non-Ground Clause Learning Yasmine Briefs and Christoph Weidenbach In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning