%0 Computer Program
%A van Driel, Ronald
%A Demirovic, Emir
%A Yorke-Smith, Neil
%D 2021
%T VSIDS learning code: "Learning Variable Activity Initialisation for Lazy Clause Generation Solvers"
%U https://data.4tu.nl/articles/software/VSIDS_learning_code_Learning_Variable_Activity_Initialisation_for_Lazy_Clause_Generation_Solvers_/14259635/1
%R 10.4121/14259635.v1
%K VSIDS
%K LCG
%K lazy clause generation
%K GCN
%K learning
%K MiniZinc
%K Variable State Independent Decaying Sum
%K Graph Convolutional Networks
%X Python code corresponding to the CPAIOR 2021 paper "Learning Variable Activity Initialisation for Lazy Clause Generation Solvers".
%I 4TU.ResearchData