Vijay D'Silva

Available identifiers

Publication	Date of Publication	Type
Abstract interpretation with unfoldings	2022-08-12	Paper
Conflict-driven conditional termination	2018-03-01	Paper
Abstract interpretation as automated deduction	2017-06-29	Paper
Complete Abstractions and Subclassical Modal Logics	2017-02-21	Paper
Independence Abstractions and Models of Concurrency	2017-02-21	Paper
Abstract Interpretation as Automated Deduction	2015-12-02	Paper
Deciding floating-point logic with abstract conflict driven clause learning	2014-12-05	Paper
Abstract conflict driven learning	2014-11-27	Paper
An Abstract Interpretation of DPLL(T)	2014-11-03	Paper
Abstraction of Syntax	2014-11-03	Paper
Abstract satisfaction	2014-04-10	Paper
Generalizing Simulation to Abstract Domains	2013-08-12	Paper
Numeric Bounds Analysis with Conflict-Driven Learning	2012-06-29	Paper
A lazy approach to symmetry reduction	2010-12-17	Paper
Propositional Interpolation and Abstract Interpretation	2010-05-04	Paper
Interpolant Strength	2010-01-14	Paper
Approximation Refinement for Interpolation-Based Model Checking	2008-04-04	Paper

This page was built for person: Vijay D'Silva