EasyChair Smart Slide
Symbolic Computation Techniques in SMT Solving: Mathematical Beauty meets Efficient Heuristics
Symbolic Computation Techniques in SMT Solving: Mathematical Beauty meets Efficient Heuristics