All Stories

  1. Mining High Utility Itemsets with Hill Climbing and Simulated Annealing
  2. Proof searching in HOL4 with genetic algorithm