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

doi:10.4121/14259635.v1
The doi above is for this specific version of this dataset, which is currently the latest. Newer versions may be published in the future. For a link that will always point to the latest version, please use
doi: 10.4121/14259635
Datacite citation style:
van Driel, Ronald; Demirovic, Emir; Yorke-Smith, Neil (2021): VSIDS learning code: "Learning Variable Activity Initialisation for Lazy Clause Generation Solvers". Version 1. 4TU.ResearchData. software. https://doi.org/10.4121/14259635.v1
Other citation styles (APA, Harvard, MLA, Vancouver, Chicago, IEEE) available at Datacite
Software
Python code corresponding to the CPAIOR 2021 paper "Learning Variable Activity Initialisation for Lazy Clause Generation Solvers".
history
  • 2021-04-19 first online, published, posted
publisher
4TU.ResearchData
funding
  • Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization (grant code 952215) [more info...] European Commission
organizations
TU Delft, Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS/EWI)

DATA

files (5)