no code implementations • 16 Jan 2014 • Gerold Jäger, Weixiong Zhang
By combining effective algorithms for the AP and SAT, our algorithm significantly outperforms previous exact DHCP algorithms, including an algorithm based on the award-winning Concorde TSP algorithm.