External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Learning Variable Activity Initialisation for Lazy Clause Generation Solvers

Ronald van Driel, Emir Demirovic, Neil Yorke-Smith. Learning Variable Activity Initialisation for Lazy Clause Generation Solvers. In Peter J. Stuckey, editor, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings. Volume 12735 of Lecture Notes in Computer Science, pages 62-71, Springer, 2021. [doi]

Authors

Ronald van Driel

This author has not been identified. Look up 'Ronald van Driel' in Google

Emir Demirovic

This author has not been identified. Look up 'Emir Demirovic' in Google

Neil Yorke-Smith

This author has not been identified. Look up 'Neil Yorke-Smith' in Google
runs on