Vijay D'Silva

Available identifiers

zbMath Open dsilva.vijayMaRDI QIDQ479834

List of research outcomes

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
Independence Abstractions and Models of Concurrency	2017-02-21	Paper
Complete Abstractions and Subclassical Modal Logics	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
Abstraction of Syntax	2014-11-03	Paper
An Abstract Interpretation of DPLL(T)	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Vijay D'Silva