Natural deduction of logical proofs Kalish & Montegue: a set of heuristics for doing logical proofs Introduction rules –not introduction, and introduction,
Design Brief
ALCN
Solving the Open Vehicle Routing Problem: New Heuristic and Test Problems
1 Solving the Open Vehicle Routing Problem: New Heuristic and Test Problems Feiyue Li Bruce Golden Edward Wasil INFORMS San Francisco November 2005.