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

DOI:10.4121/14259635.v1
The DOI displayed 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)