Cesare Tinelli - Publications, H-index & Citations

Cesare Tinelli

university of iowa

39H指数

200论文数

8.1K被引数

收录论文 4

发表时间

Formalization of a Proof Calculus for Incremental Linearization for Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 非线性算术和超越函数可满足性问题的增量线性化证明演算的形式化

PROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026

IF0

2026-01-01

PREAI

Mascarenhas, Tomaz; Khan, Harun; Mohamed, Abdalrhman; Reynolds, Andrew; Barbosa, Haniel; Barrett, Clark; Tinelli, Cesare

Generating and Exploiting Automated Reasoning Proof Certificates

COMMUNICATIONS OF THE ACM

IF12.2

2023-09-22

PREAI

Barbosa, Haniel; Barrett, Clark; Cook, Byron; Dutertre, Bruno; Kremer, Gereon; Lachnitt, Hanna; Niemetz, Aina; Notzli, Andres; Ozdemir, Alex; Preiner, Mathias; Reynolds, Andrew; Tinelli, Cesare; Zohar, Yoni

The model evolution calculus as a first-order DPLL method

artificial intelligence review

IF4.6

2008-03-01

OAAI

Baumgartner, Peter; Tinelli, Cesare

Intelligent systems and formal methods in software engineering

IEEE INTELLIGENT SYSTEMS

IF6.1

2006-11-01

PREAI

Beckert, Bernhard; Hoare, Tony; Hahnle, Reiner; Smith, Douglas R.; Green, Cordell; Ranise, Silvio; Tinelli, Cesare; Ball, Thomas; Rajamani, Sriram K.

研究方向