Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter.
Weilin LuoPolong ChenHai WanHongzhen ZhongShaowei CaiZhanhao XiaoPublished in: J. Syst. Softw. (2024)
Keyphrases
- boundary conditions
- person identification
- satisfiability testing
- stochastic local search
- search algorithm
- poisson equation
- genetic algorithm
- satisfiability problem
- noise reduction
- shape from shading
- combinatorial optimization
- model checking
- np complete
- search space
- conflict resolution
- sufficient conditions
- boundary value problem
- propositional logic
- variational inequalities
- multiscale