Cesare Tinelli

E2192483 UNEXPLORED

Cesare Tinelli is a computer scientist known for his contributions to automated reasoning and satisfiability modulo theories (SMT), including co-developing the CVC family of SMT solvers.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Cesare Tinelli canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

CVC4 → hasDeveloper → Cesare Tinelli ⓘ