Using Problem Symmetry in Search Based Satisfiability Algorithms.
Evguenii I. GoldbergMukul R. PrasadRobert K. BraytonPublished in: DATE (2002)
Keyphrases
- symmetry breaking
- exhaustive search
- computational complexity
- search algorithm
- search space
- search methods
- times faster
- theoretical analysis
- computationally efficient
- data mining techniques
- search strategies
- data sets
- worst case
- computational cost
- significant improvement
- orders of magnitude
- knowledge base
- hill climbing
- learning algorithm