Travelled to:1 × Austria
1 × Italy
1 × Poland
1 × USA
1 × United Kingdom
Collaborated with:L.M.d.Moura J.Katelaan G.Weissenbacher L.Hadarean C.Barrett C.Tinelli K.Bansal C.L.Conway M.Deters T.King A.Reynolds
Talks about:arithmet (2) linear (2) model (2) solv (2) construct (1) calculus (1) approach (1) satisfi (1) vector (1) solver (1)
Person: Dejan Jovanovic
DBLP: Jovanovic:Dejan
Contributed to:
2014
2013
2012
201120112018Wrote 6 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.
- VMCAI-2013-MouraJ #calculus #satisfiability
- A Model-Constructing Satisfiability Calculus (LMdM, DJ), pp. 1–12.
- IJCAR-2012-JovanovicM
- Solving Non-linear Arithmetic (DJ, LMdM), pp. 339–354.
- CADE-2011-JovanovicM #integer #linear
- Cutting to the Chase Solving Linear Integer Arithmetic (DJ, LMdM), pp. 338–353.
- CAV-2011-BarrettCDHJKRT
- CVC4 (CB, CLC, MD, LH, DJ, TK, AR, CT), pp. 171–177.
- IJCAR-2018-KatelaanJW #automation #logic #modelling
- A Separation Logic with Data: Small Models and Automation (JK, DJ, GW), pp. 455–471.