Liana Hadarean
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2011–2020
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ICST | One-click formal methods. | Liana Hadarean |
| 2016 | FMCAD | Lazy proofs for DPLL(T)-based SMT solvers. | Guy Katz, Clark W. Barrett, Cesare Tinelli, Andrew Reynolds, Liana Hadarean |
| 2016 | VMCAI | Automatic Generation of Propagation Complete SAT Encodings. | Martin Brain, Liana Hadarean, Daniel Kroening, Ruben Martins |
| 2015 | LPAR | Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors. | Liana Hadarean, Clark W. Barrett, Andrew Reynolds, Cesare Tinelli, Morgan Deters |
| 2014 | CAV | A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors. | Liana Hadarean, Kshitij Bansal, Dejan Jovanovic, Clark W. Barrett, Cesare Tinelli |
| 2011 | CAV | CVC4. | Clark W. Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli |