Login / Signup

Evaluation of Cardinality Constraints on SMT-Based Debugging.

André SülflowRobert WilleGörschwin FeyRolf Drechsler
Published in: ISMVL (2009)
Keyphrases
  • cardinality constraints
  • entity relationship
  • boolean algebra
  • optimal solution
  • information systems
  • functional dependencies
  • deductive databases