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

Tuhin Sahai, Anurag Mishra, Jose Miguel Pasini, Susmit Jha. Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms. In The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020. pages 1627-1635, AAAI Press, 2020. [doi]

Abstract

Abstract is missing.