Satisfiability Procedures for Combination of Theories Sharing Integer Offsets.

Enrica Nicolini Christophe Ringeissen Michaël Rusinowitch

Published in: TACAS (2009)

Keyphrases

information sharing
satisfiability problem
theoretical framework
computational properties
database
np complete
knowledge sharing
propositional theories
computational complexity
relational databases
evolutionary algorithm
knowledge representation
medical images
reasoning problems