Our Submission to the PACE 2024 Challenge
Deniz Dilsiz - z3463717
Theo Graftieaux - z5258743
Sankalpa Tripathee - z5420264
Erika(Tingchen) Xie - z5230815
Tasks:
Read Inputs -> Theo
Minimisation method -> Deniz
Branching Algorithm -> Sank
Generate output (linear order) -> Erika
Kernal and Simplification Rules -> Mixed (See Report)