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 × USA
1 × United Kingdom
Collaborated with:
A.Reynolds C.W.Barrett T.Wies C.Tinelli R.Brochenin É.Lozes E.Koskinen D.Zufferey T.King L.Hadarean D.Jovanovic C.Barrett
Talks about:
constraint (1) structur (1) procedur (1) approach (1) abstract (1) counter (1) vector (1) theori (1) solver (1) extens (1)

Person: Kshitij Bansal

DBLP DBLP: Bansal:Kshitij

Contributed to:

CAV 20152015
CAV 20142014
TACAS 20132013
FOSSACS 20092009
IJCAR 20162016

Wrote 5 papers:

Deciding Local Theory Extensions via E-matching (KB, AR, TK, CWB, TW), pp. 87–105.
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.
TACAS-2013-BansalKWZ #abstraction
Structural Counter Abstraction (KB, EK, TW, DZ), pp. 62–77.
FoSSaCS-2009-BansalBL #order
Beyond Shapes: Lists with Ordered Data (KB, RB, ÉL), pp. 425–439.
IJCAR-2016-BansalRBT #constraints #finite #set #smt
A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT (KB, AR, CWB, CT), pp. 82–98.

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.