Boundary controllability of phase-transition region of a two-phase Stefan problem.
Viorel BarbuPublished in: Syst. Control. Lett. (2021)
Keyphrases
- phase transition
- constraint satisfaction
- boundary information
- satisfiability problem
- hard problems
- randomly generated
- np complete
- combinatorial problems
- magnetic field
- random graphs
- np complete problems
- graph coloring
- cellular automata
- deep structure
- hamiltonian cycle
- random constraint satisfaction problems
- random instances
- average degree
- stochastic local search
- constraint programming
- sat problem
- boolean functions
- constraint satisfaction problems
- random sat
- search algorithm