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

N. Yorke-Smith (Creator)
Ronald van Driel (Creator)
E. Demirović (Creator)

Algorithmics

Dataset

1 Conference contribution

1 results

Filter

2021
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 volume › Conference contribution › Scientific › peer-review

Open Access
File
65 Downloads (Pure)