Combinatorial problems in solving linear systems.
Iain S. DuffBora UçarPublished in: Combinatorial Scientific Computing (2009)
Keyphrases
- combinatorial problems
- linear systems
- sparse linear systems
- combinatorial optimization
- solving hard
- graph coloring
- constraint programming
- metaheuristic
- constraint satisfaction problems
- constraint satisfaction
- combinatorial search
- traveling salesman problem
- sufficient conditions
- phase transition
- linear equations
- dynamical systems
- simulated annealing
- sat encodings
- coefficient matrix
- branch and bound algorithm
- constraint solvers
- global constraints
- finite domain
- boolean satisfiability
- genetic algorithm
- optimization problems
- interior point methods
- pid controller
- satisfiability problem
- branch and bound
- computational complexity
- real time