Datasets
- 2 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
-
Source code and data for the paper "Necessary and Sufficient Conditions for Optimal Decision Trees using Dynamic Programming"
de Weerdt, M. M. (Creator), van der Linden, J. G. M. (Creator) & Demirović, E. (Creator), TU Delft - 4TU.ResearchData, 1 Nov 2023
DOI: 10.4121/CB4F4468-05D1-4309-BC4B-D74748E3CFBA, https://github.com/AlgTUDelft/pystreed
Dataset/Software: Software