Keyphrases
- data sets
- np complete
- computational complexity
- satisfiability problem
- propositional logic
- phase transition
- np hard
- decision procedures
- randomly generated
- sat problem
- cnf formula
- linear array
- satisfiability testing
- minimum redundancy
- information systems
- constraint satisfaction problems
- neural network
- real time
- arbitrary size
- terminological reasoning