TY - DATA
T1 - VSIDS learning code: "Learning Variable Activity Initialisation for Lazy Clause Generation Solvers"
PY - 2021/04/19
AU - Ronald van Driel
AU - Emir Demirovic
AU - Neil Yorke-Smith
UR - https://data.4tu.nl/articles/software/VSIDS_learning_code_Learning_Variable_Activity_Initialisation_for_Lazy_Clause_Generation_Solvers_/14259635/1
DO - 10.4121/14259635.v1
KW - VSIDS
KW - LCG
KW - lazy clause generation
KW - GCN
KW - learning
KW - MiniZinc
KW - Variable State Independent Decaying Sum
KW - Graph Convolutional Networks
N2 - Python code corresponding to the CPAIOR 2021 paper "Learning Variable Activity Initialisation for Lazy Clause Generation Solvers".
ER -