Variable pruning is NP hard

Open in new window