AuthorsH. Spieker
TitleAutoCSP - Self-Supervised Neuro-Symbolic Solvers for Constraint Satisfaction
AfilliationSoftware Engineering
Project(s)AutoCSP: Self-Supervised Neuro-Symbolic Solvers for Constraint Satisfaction, Department of Validation Intelligence for Autonomous Software Systems
StatusPublished
Publication TypeTalks, invited
Year of Publication2022
Location of TalkMachine Learning and Artificial Intelligence Lab, University of Bonn, Germany
Citation Key28495

Contact person