Nice, my undergrad thesis used this stuff. I truly believe if P=NP the proof will be an mILP solving HC or similar