Algorithms for Variable-Weighted 2-SAT and Dual Problems.
Stefan PorschenEwald SpeckenmeyerPublished in: SAT (2007)
Keyphrases
- optimization problems
- benchmark problems
- stochastic local search algorithms
- sat solving
- computationally efficient
- test problems
- learning algorithm
- hard problems
- search procedures
- problems in computer vision
- approximate solutions
- satisfiability problem
- decision problems
- np complete
- np complete problems
- solving hard
- combinatorial problems
- search problems
- exact algorithms
- propositional satisfiability
- simulated annealing
- computational complexity
- genetic algorithm