Ahmed Irfan
Ahmed Irfan
Email verificata su cs.stanford.edu
TitoloCitata daAnno
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF
A Cimatti, A Griggio, A Irfan, M Roveri, R Sebastiani
International Conference on Tools and Algorithms for the Construction and …, 2017
192017
Satisfiability modulo transcendental functions via incremental linearization
A Cimatti, A Griggio, A Irfan, M Roveri, R Sebastiani
International Conference on Automated Deduction, 95-113, 2017
122017
Verilog2SMV: a tool for word-level verification
A Irfan, A Cimatti, A Griggio, M Roveri, R Sebastiani
Proceedings of the 2016 Conference on Design, Automation & Test in Europe …, 2016
82016
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions
A Cimatti, A Griggio, A Irfan, M Roveri, R Sebastiani
ACM Transactions on Computational Logic (TOCL) 19 (3), 52, 2018
72018
Pcasso–a parallel cooperative sat solver
A Irfan, D Lanti, N Manthey
Proceedings of SAT Competition, 64, 2013
7*2013
Experimenting on solving nonlinear integer arithmetic with incremental linearization
A Cimatti, A Griggio, A Irfan, M Roveri, R Sebastiani
International Conference on Theory and Applications of Satisfiability …, 2018
42018
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions
A Irfan
University of Trento, 2018
32018
Modern Cooperative Parallel SAT Solving
A Irfan, D Lanti, N Manthey
Pragmatics of SAT, 2013
3*2013
Search Space Partitioning with Lookahead
A Irfan
12012
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions
A Cimatti, A Griggio, A Irfan, M Roveri, R Sebastiani
2018
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic
A Cimatti, A Irfan, A Griggio, M Roveri, R Sebastiani
2016
Yosys Application Note 012: Converting Verilog to BTOR
A Irfan, C Wolf
2015
CLAS–A Parallel SAT Solver that Combines CDCL, Look-Ahead and SLS Search Strategies
A Balint, D Lanti, A Irfan, N Manthey
SAT COMPETITION 2014, 21, 2014
2014
State-of-the-art Cooperative Parallel SAT Solving
A Irfan
TU Dresden, 2013
2013
Ferrarotti, Flavio 133 Gaianu, Mihail 347 Galis, Darius 368 Gavrilut, Dragos Teodor 223, 280, 425, 430
D Gil, IM Artinescu, C Atens, C Badica, G Balan, AM Balint, S Balint, ...
MathSAT5 (Nonlinear) at the SMT Competition 2019
A Irfan, A Griggio, A Cimatti, R Sebastiani
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–16