Jose Miguel Pasini

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 2

Top Topics

Davis Putnam Logemann Loveland

Chaotic Systems

Satisfiability Problem

Top Venues

J. Comput. Phys.

Publications

Tuhin Sahai, Anurag Mishra, Jose Miguel Pasini, Susmit Jha
Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms. AAAI (2020)
Tuhin Sahai, Anurag Mishra, Jose Miguel Pasini, Susmit Jha
Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms. CoRR (2019)
Tuhin Sahai, Jose Miguel Pasini
Uncertainty quantification in hybrid dynamical systems. J. Comput. Phys. 237 (2013)
Jose Miguel Pasini, Tuhin Sahai
Polynomial chaos based uncertainty quantification in Hamiltonian and chaotic systems. CDC (2013)
Tuhin Sahai, Jose Miguel Pasini
Uncertainty quantification in hybrid dynamical systems. CDC (2012)