Journal: Knowledge Eng. Review

Volume 16, Issue 1

1 -- 4Carla P. Gomes. On the intersection of AI and OR
5 -- 23Jean-François Puget, Irvin Lustig. Constraint programming and maths programming
25 -- 39I. R. de Farias, Ellis L. Johnson, George L. Nemhauser. Branch-and-cut for combinatorial optimization problems without auxiliary binary variables
41 -- 68Yves Caseau, François Laburthe, Claude Le Pape, Benoît Rottembourg. Combining local and global search in a constraint programming environment
69 -- 84Stephen J. Westfold, Douglas R. Smith. Synthesis of efficient constraint-satisfaction programs
85 -- 99Steven A. Wolfman, Daniel S. Weld. Combining linear programming and satisfiability solving for resource planning
101 -- 109. From the journals . .