The Potential of Restarts for ProbSAT on Uniform Instances

Erstveröffentlichung
2021
Data creator
Lorenz, Jan-Hendrik
Nickerl, Julian
Software


Link to publication
https://dx.doi.org/10.5281/ZENODO.4533841
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutions
Institut für Theoretische Informatik
Subject headings
[DDC subject group]: DDC 000 / Computer science, information & general works
Metadata
Show full item record