Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs:
"Symbol Elimination and Vampire";
Talk: Dagstuhl Seminar 19062 - Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving,
Schloss Dagstuhl, Germany;
2019-02-03
- 2019-02-06.