A. Cimatti | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Y. Wang
14 publications
M. England
8 publications
J. H. Davenport
7 publications
J. -L. Starck
6 publications
M. Brescia
3 publications
J. Carretero
3 publications
M. Frailis
3 publications
E. Abraham
3 publications
T. Sturm
3 publications
M. Kunz
2 publications
S. Dusini
2 publications

research

∙ 12/14/2021

Euclid: Covariance of weak lensing pseudo-C_ℓ estimates. Calculation, comparison to simulations, and dependence on survey geometry

An accurate covariance matrix is essential for obtaining reliable cosmol...

0 R. E. Upham, et al. ∙

research

∙ 07/27/2016

Satisfiability Checking meets Symbolic Computation (Project Paper)

Symbolic Computation and Satisfiability Checking are two research areas,...

0 E. Abraham, et al. ∙

research

∙ 07/23/2016

Satisfiability Checking and Symbolic Computation

Symbolic Computation and Satisfiability Checking are viewed as individua...

0 E. Abraham, et al. ∙

research

∙ 06/01/2011

Conformant Planning via Symbolic Model Checking

We tackle the problem of planning in nondeterministic domains, by presen...

0 A. Cimatti, et al. ∙