VSIDS learning code: "Learning Variable Activity Initialisation for Lazy Clause Generation Solvers"
VSIDS learning code: "Learning Variable Activity Initialisation for Lazy Clause Generation Solvers"
- GCN
- Graph Convolutional Networks
- lazy clause generation
- + 5
