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

Dataset

Description

Python code corresponding to the CPAIOR 2021 paper "Learning Variable Activity Initialisation for Lazy Clause Generation Solvers".
Date made available19 Apr 2021
PublisherTU Delft - 4TU.ResearchData
Date of data production2021 -
  • Learning Variable Activity Initialisation for Lazy Clause Generation Solvers

    van Driel, R., Demirović, E. & Yorke-Smith, N., 2021, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Proceedings: 18th International Conference Proceedings. Stuckey, P. J. (ed.). Cham: Springer, p. 62-71 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12735 ).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Cite this