Authors | H. Spieker |
Title | AutoCSP - Self-Supervised Neuro-Symbolic Solvers for Constraint Satisfaction |
Afilliation | Software Engineering |
Project(s) | AutoCSP: Self-Supervised Neuro-Symbolic Solvers for Constraint Satisfaction, Department of Validation Intelligence for Autonomous Software Systems |
Status | Published |
Publication Type | Talks, invited |
Year of Publication | 2022 |
Location of Talk | Machine Learning and Artificial Intelligence Lab, University of Bonn, Germany |
Citation Key | 28495 |