EasyChair Smart Slide
Invited Talk: From Counter-Model-based Quantifier Instantiation to Quantifier Elimination in SMT
Invited Talk: From Counter-Model-based Quantifier Instantiation to Quantifier Elimination in SMT