BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Jovanovic:Dejan

Contributed to:

CAV 20142014
VMCAI 20132013
IJCAR 20122012
CADE 20112011
CAV 20112011
IJCAR 20182018

Wrote 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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.