Keyword:SCL

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
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
Optimize BJT for Small Dimensions and High-Frequency Analysis Bhargavi Patel and Ketan Patel In:ICRISET2017. International Conference on Research and Innovations in Science, Engineering and Technology. Selected Papers in Engineering