Predictive Labeling with Dependency Pairs Using SAT.
Adam KoprowskiAart MiddeldorpPublished in: CADE (2007)
Keyphrases
- dependency relations
- sat solvers
- pairwise
- sat problem
- propositional satisfiability
- image segmentation
- search algorithm
- active learning
- boolean satisfiability
- neural network
- unsupervised learning
- stochastic local search algorithms
- max sat
- satisfiability problem
- information content
- search strategies
- constraint satisfaction
- search space