Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms