Learning Variable Activity Initialisation for Lazy Clause Generation Solvers

R.A. van Driel, E. Demirović, N. Yorke-Smith

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

Original languageEnglish
Title of host publicationProceedings of the 18th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR'21)
Publication statusPublished - 1 Jul 2021

Cite this