Login / Signup

On the Density of States of Boolean Formulas.

Carlos AnsóteguiMaria Luisa BonetJordi Levy
Published in: CCIA (2023)
Keyphrases
  • boolean formula
  • sat solvers
  • practical problems
  • boolean variables
  • unsatisfiable cores
  • evolutionary algorithm
  • membership queries
  • machine learning
  • data structure
  • logic programs