Amit Goel

From MaRDI portal
Person:2881072

Available identifiers

zbMath Open goel.amitMaRDI QIDQ2881072

List of research outcomes





PublicationDate of PublicationType
Solving string constraints using SAT2024-01-12Paper
Quantifier Instantiation Techniques for Finite Model Finding in SMT2013-06-14Paper
Ground interpolation for the theory of equality2012-04-03Paper
Ground Interpolation for Combined Theories2009-07-28Paper
Ground Interpolation for the Theory of Equality2009-03-31Paper
Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL2008-09-16Paper
Tools and Algorithms for the Construction and Analysis of Systems2007-09-28Paper
Combined Satisfiability Modulo Parametric Theories2007-09-03Paper
Computer Aided Verification2005-08-25Paper
https://portal.mardi4nfdi.de/entity/Q45193752002-01-02Paper

Research outcomes over time

This page was built for person: Amit Goel

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2881072&oldid=6761216"
Powered by MediaWiki