Datasets
- 1 results
Search results
-
VSIDS learning code: "Learning Variable Activity Initialisation for Lazy Clause Generation Solvers"
Yorke-Smith, N. (Creator), van Driel, R. (Creator) & Demirović, E. (Creator), TU Delft - 4TU.ResearchData, 19 Apr 2021
DOI: 10.4121/14259635
Dataset/Software: Software