Get started
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".
Keywords
License
- GPL-3.0-only
</>Source code
Not specified
Packages
Contributors
Member of community