A GRASP for satisfiability.
Mauricio G. C. ResendeThomas A. FeoPublished in: Cliques, Coloring, and Satisfiability (1993)
Keyphrases
- satisfiability problem
- propositional logic
- np complete
- tabu search
- computational complexity
- decision procedures
- search algorithm
- terminological reasoning
- data sets
- satisfiability testing
- sat problem
- data mining
- computational properties
- databases
- modal logic
- phase transition
- information systems
- artificial intelligence
- real world
- neural network