Title	Propositional Extension Rule with Reduction
Author	Xia Wu, Jigui Sun, Shuai Lv, Minghao Yin
Citation	Vol. 6  No. 1  pp. 190~195
Keywords	Extension rule, theorem proving, satisfiability, reduction

Title	Particle Swarm in Binary CSPs with Dynamic Variable Ordering
Author	Qingyun Yang, Jigui Sun, Juyang Zhang
Citation	Vol. 6  No. 2  pp. 180~186
Keywords	Discrete Particle Swarm, Constraint Satisfaction Problem, Dynamic Variable Ordering

Title	A Logic-based Branch and Bound Algorithm for Resource Constrained Scheduling Problem
Author	Juyang Zhang, Jigui Sun, Qingyun Yang
Citation	Vol. 6  No. 2  pp. 237~241
Keywords	Scheduling, Logic, Branch and Bound, Constraint Programming

Title	A two-phase model based DSS for Grain Dispatching and Transportation
Author	Haihong Yu, Jigui Sun, Zehai Li
Citation	Vol. 6  No. 2  pp. 6~11
Keywords	grain dispatching and transportation, vehicle routing problem, graph-search algorithm, integer programming, decision support system