On the Satisfiability of Modular Arithmetic Formulae.

Published in: ATVA (2006)

Keyphrases

satisfiability problem
computational complexity
arithmetic operations
np complete
propositional logic
databases
modular structure
case study
terminological reasoning
genetic algorithm
satisfiability testing
highly flexible