A comparison of approaches for finding minimum identifying codes on graphs