Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search.
Emir DemirovicPeter J. StuckeyPublished in: CP (2019)
Keyphrases
- optimal solution
- learning algorithm
- search space
- quadratic programming
- linear systems
- dynamic programming
- combinatorial optimization
- search algorithm
- k means
- closed form
- expectation maximization
- linear complexity
- search strategy
- detection algorithm
- computational complexity
- preprocessing
- high resolution
- search procedure
- np hard
- upper bound
- optimization method
- mathematical model
- incomplete data
- randomly generated
- simulated annealing
- global search
- memetic algorithm
- metaheuristic
- bi objective
- particle swarm optimization