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.

On the Density of States of Boolean Formulas

Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy. On the Density of States of Boolean Formulas. In Ismael Sanz, Raquel Ros, Jordi Nin, editors, Artificial Intelligence Research and Development - Proceedings of the 25th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2023, Món Sant Benet, Spain, 25-27 October 2023. Volume 375 of Frontiers in Artificial Intelligence and Applications, pages 369-382, IOS Press, 2023. [doi]

Abstract

Abstract is missing.

runs on