Generating Minimum Transitivity Constraints in P-time for Deciding Equality Logic.

Mirron Rozanov Ofer Strichman

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

constraint satisfaction
database
constrained optimization
derivation rules
databases
knowledge base
rough sets
geometric constraints
cardinality constraints
deontic logic