Timetable
- Event Category
- Phase B
- Title
- Learning a SAT Solver from Single-Bit Supervision
- Location
- Room 1.06 in E1 1 and online
- Details
- Starttime
- 23.06.2022 11:00
- Endtime
- 23.06.2022 11:45
- the whole day
- No
Neural-Symbolic Computing
Raven Beutner, Bernd Finkbeiner, Christopher Hahn, Niklas Metzger, Frederik Schmitt, Julian Siber