collaborators

1 paper

cs.DM2019

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

Tuhin Sahai, Anurag Mishra, Jose Miguel Pasini +1

Given a Boolean formula in conjunctive normal form (CNF), the density of states counts the number of variable assignments that violate exactly clauses, for all values of…