Learning Variable Activity Initialisation for Lazy Clause Generation Solvers

Ronald van Driel, Emir Demirović, Neil Yorke-Smith

Algorithmics

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

65 Downloads (Pure)

1 results
- Title
- Start date(descending)

VSIDS learning code: "Learning Variable Activity Initialisation for Lazy Clause Generation Solvers"
Yorke-Smith, N. (Creator), van Driel, R. (Creator) & Demirović, E. (Creator), TU Delft - 4TU.ResearchData, 19 Apr 2021
DOI: 10.4121/14259635
Dataset/Software: Software