Numerical Analysis of Compatible Phase Transitions in Elastic Solids.
Carsten CarstensenPetr PlechácPublished in: SIAM J. Numer. Anal. (2000)
Keyphrases
- numerical analysis
- phase transition
- random constraint satisfaction problems
- constraint satisfaction
- image enhancement
- randomly generated
- satisfiability problem
- np complete
- hard problems
- random instances
- graph coloring
- sat problem
- combinatorial problems
- deep structure
- finite difference
- boolean satisfiability
- np complete problems
- random graphs
- constraint satisfaction problems
- image segmentation
- random sat
- boolean formulae