To search, Click below search items.
All Published Papers Search Service
Title
GILAO*: Solving Uncertainty Planning with Comparison of Generalized Intervals
Author
Jigui Sun, Shuai Lu, Minghao Yin, Shulin Cui
Vol. 6 No. 1 pp. 57~63
Keywords
uncertainty planning, comparison of generalized intervals, Markov Decision Process
Propositional Extension Rule with Reduction
Xia Wu, Jigui Sun, Shuai Lv, Minghao Yin
Vol. 6 No. 1 pp. 190~195
Extension rule, theorem proving, satisfiability, reduction
Particle Swarm in Binary CSPs with Dynamic Variable Ordering
Qingyun Yang, Jigui Sun, Juyang Zhang
Vol. 6 No. 2 pp. 180~186
Discrete Particle Swarm, Constraint Satisfaction Problem, Dynamic Variable Ordering
A Logic-based Branch and Bound Algorithm for Resource Constrained Scheduling Problem
Juyang Zhang, Jigui Sun, Qingyun Yang
Vol. 6 No. 2 pp. 237~241
Scheduling, Logic, Branch and Bound, Constraint Programming