Pasini, Jose Miguel

1 publications

AAAI 2020 Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms Tuhin Sahai, Anurag Mishra, Jose Miguel Pasini, Susmit Jha