Usage statistics

Totals for datasets (co-)authored by Emir Demirovic

Datasets

• Source code and data for the paper "Necessary and Sufficient Conditions for Optimal Decision Trees using Dynamic Programming"
• VSIDS learning code: "Learning Variable Activity Initialisation for Lazy Clause Generation Solvers"

Co-authors

Co-authors of Emir Demirovic's datasets/collections. Bold: authors with a 4TU.ResearchData account.

• Jacobus G. M. van der Linden
• M.M. (Mathijs) de Weerdt
• Neil Yorke-Smith
• Ronald van Driel