Learning Variable Activity Initialisation for Lazy Clause Generation Solvers.

Ronald van Driel, Emir Demirovic, Neil Yorke-Smith

Browse the full CPAIOR paper archive.