1/1
5 files

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

software
posted on 19.04.2021, 12:31 by Ronald van Driel, Emir DemirovicEmir Demirovic, Neil Yorke-SmithNeil Yorke-Smith
Python code corresponding to the CPAIOR 2021 paper "Learning Variable Activity Initialisation for Lazy Clause Generation Solvers".

Funding

Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization

European Commission

Find out more...

History

Publisher

4TU.ResearchData

Organizations

TU Delft, Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS/EWI)