Usage statistics

Totals for datasets (co-)authored by Ronald van Driel

Datasets

• VSIDS learning code: "Learning Variable Activity Initialisation for Lazy Clause Generation Solvers"

Co-authors

Co-authors of Ronald van Driel's datasets/collections. Bold: authors with a 4TU.ResearchData account.

• Emir Demirovic
• Neil Yorke-Smith