activity
20092026
most citedA Koopman framework for rare event simulation in stochastic differential equations

18 citations · 68 across the 27 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

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…