Toggle navigation
English
Deutsch
English
English
Deutsch
Login
Toggle navigation
View Item
Home
Universität Ulm
Forschungsdatennachweise
View Item
Home
Universität Ulm
Forschungsdatennachweise
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
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
Advanced Search
Search OPARU
This Collection
Browse
All of OPARU
Communities & Collections
Persons
Institutions
Publication types
Ulm Serials
Dewey Decimal Classes
EU projects Ulm
DFG projects Ulm
Other projects Ulm
My Account
Login
Register
Statistics
View Usage Statistics