The following pages link to Zhao Xing (Q835813):
Displayed 5 items.
- Long-distance mutual exclusion for planning (Q835814) (← links)
- MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability (Q2457672) (← links)
- Distributed stochastic search and distributed breakout: properties, comparison and applications to constraint optimization problems in sensor networks (Q2457699) (← links)
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Q5898794) (← links)
- Principles and Practice of Constraint Programming – CP 2004 (Q5900327) (← links)