exact exponential algorithms split and list
Tout plus