Travelled to:1 × Austria
1 × USA
Collaborated with:D.Jovanovic C.Barrett C.Tinelli K.Bansal C.L.Conway M.Deters T.King A.Reynolds
Talks about:approach (1) vector (1) solver (1) eager (1) tale (1) lazi (1) two (1) cvc (1) bit (1)
Person: Liana Hadarean
DBLP: Hadarean:Liana
Contributed to:
20142011Wrote 2 papers:
- CAV-2014-HadareanBJBT #lazy evaluation
- A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors (LH, KB, DJ, CB, CT), pp. 680–695.
- CAV-2011-BarrettCDHJKRT
- CVC4 (CB, CLC, MD, LH, DJ, TK, AR, CT), pp. 171–177.