Towards Fewer Parameters for SAT Clause Weighting Algorithms.
John ThorntonWayne J. PullanJustin TerryPublished in: Australian Joint Conference on Artificial Intelligence (2002)
Keyphrases
- image segmentation
- fewer parameters
- computational complexity
- orders of magnitude
- computationally efficient
- computational cost
- worst case
- significant improvement
- benchmark datasets
- data structure
- data mining algorithms
- search strategies
- neural network
- scheduling problem
- optimization problems
- logic programs
- computationally expensive
- recently developed
- stochastic local search algorithms