Ahmed Irfan

Identifiers

No identifiers captured yet.

Papers (2)

1. Satisfiability Modulo Transcendental Functions via Incremental Linearization cs.LO · 2018 · author #3
2. Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF cs.LO · 2018 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Alberto Griggio 2 shared papers
• Alessandro Cimatti 2 shared papers
• Marco Roveri 2 shared papers
• Roberto Sebastiani 2 shared papers