Ctrl K

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

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

3
contributors

Description

Python code corresponding to the CPAIOR 2021 paper "Learning Variable Activity Initialisation for Lazy Clause Generation Solvers".

Logo of VSIDS learning code: "Learning Variable Activity Initialisation for Lazy Clause Generation Solvers"
Keywords
GCN
Graph Convolutional Networks
lazy clause generation
LCG
learning
MiniZinc
Variable State Independent Decaying Sum
VSIDS
License
  • GPL-3.0-only
</>Source code
Not specified
Packages

Contributors

ED
Emir Demirovic
RvD
Ronald van Driel

Member of community

4TU