All Stories

  1. Mining High Utility Itemsets with Hill Climbing and Simulated Annealing

    Article • ACM Transactions on Management Information Systems, March 2022, ACM (Association for Computing Machinery)

    M. Saqib Nawaz, Professor Wei Song, Prof. Philippe Fournier-Viger

  2. Proof searching in HOL4 with genetic algorithm

    Article • March 2020, ACM (Association for Computing Machinery)

    Prof. Philippe Fournier-Viger, Dr Osman Hasan, M. Saqib Nawaz