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: Bansal:Kshitij
Contributed to:
20152014
2013
2009
2016Wrote 5 papers:
- CAV-2015-BansalR0BW
- 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.