0 citations0 referencesGoogle Scholardoi.orgDeciding Local Theory Extensions via E-matchingLecture notes in computer science·2015·pp. 87–105Citations Over TimeTop 10% of 2015 papersKshitij Bansal, Andrew Reynolds, Tim L. King, Clark Barrett, Thomas WiesRelated Papers→ The MathSAT 4 SMT Solver(2008)200 cited→ IC3 Modulo Theories via Implicit Predicate Abstraction(2014)101 cited→ A Unifying View on SMT-Based Software Verification(2017)61 cited→ IC3 Modulo Theories via Implicit Predicate Abstraction(2013)3 cited