Alireza Sadeghin

Learn More
Models for solving the travelling salesman problem p. 17 Set variables and local search p. 19 The temporal knapsack problem and its solution p. 34 Simplifying diagnosis using LSAT : a propositional approach to reasoning from first principles p. 49 The tree constraint p. 64 Filtering algorithms for the NValue constraint p. 79 Identifying and exploiting(More)
  • 1