Timetable
- Event Category
- Phase B
- Title
- Learning to Solve SMT Formulas
- Location
- Room 1.06 in E1 1 and online
- Details
- Starttime
- 21.07.2022 11:00
- Endtime
- 21.07.2022 11:45
- the whole day
- No
Neural-Symbolic Computing
Raven Beutner, Bernd Finkbeiner, Christopher Hahn, Niklas Metzger, Frederik Schmitt, Julian Siber