Maxterm Covering for Satisfiability.
Liangze YinFei HeWilliam N. N. HungXiaoyu SongMing GuPublished in: IEEE Trans. Computers (2012)
Keyphrases
- satisfiability problem
- propositional logic
- np complete
- decision procedures
- terminological reasoning
- phase transition
- computational complexity
- data sets
- artificial neural networks
- search algorithm
- neural network
- expert systems
- np hard
- constraint satisfaction
- modal logic
- case study
- real world
- stochastic local search
- symmetry breaking
- real time