SAT 2023: 26TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
Martina Seidl
Affiliation: Johannes Kepler University Linz
Web page: https://www.jku.at/institut-fuer-symbolic-artificial-intelligence/team/martina-seidl/
Pages in this Program
Program
Program for Saturday, July 8th