2 search results - page 1 / 1 » Evaluation of Cardinality Constraints on SMT-Based Debugging |
ISMVL
2009
IEEE
13 years 11 months ago
2009
IEEE
For formal verification of hardware Satisfiability Modulo Theory (SMT) solvers are increasingly applied. Today’s state-of-the-art SMT solvers use different techniques like ter...
SIGMOD
2011
ACM
12 years 7 months ago
2011
ACM
We study the problem of generating synthetic databases having declaratively specified characteristics. This problem is motivated by database system and application testing, data ...