@misc{https://doi.org/10.4121/14259635.v1,
  doi = {10.4121/14259635.v1},
  url = {https://data.4tu.nl/articles/software/VSIDS_learning_code_Learning_Variable_Activity_Initialisation_for_Lazy_Clause_Generation_Solvers_/14259635/1},
  author = {van Driel, Ronald and Demirovic, Emir and Yorke-Smith, Neil},
  keywords = {VSIDS, LCG, lazy clause generation, GCN, learning, MiniZinc, Variable State Independent Decaying Sum, Graph Convolutional Networks},
  title = {VSIDS learning code: "Learning Variable Activity Initialisation for Lazy Clause Generation Solvers"},
  publisher = {4TU.ResearchData},
  year = {2021},
  copyright = {GPL-3.0},
}