Login / Signup

Effective Use of SMT Solvers for Program Equivalence Checking Through Invariant-Sketching and Query-Decomposition.

Shubhani GuptaAseem SaxenaAnmol MahajanSorav Bansal
Published in: SAT (2018)
Keyphrases
  • query decomposition
  • data model
  • partitioning schemes
  • data mining
  • data integration
  • client server
  • transaction management