Login / Signup
Evaluation of Cardinality Constraints on SMT-Based Debugging.
André Sülflow
Robert Wille
Görschwin Fey
Rolf Drechsler
Published in:
ISMVL (2009)
Keyphrases
</>
cardinality constraints
entity relationship
boolean algebra
optimal solution
information systems
functional dependencies
deductive databases