Interproblem nogoods record nogoods for a problem class which
is independent of the individual instance. The nogoods can then be used to help
solving similar instances of the same problem class.
A full explanation of the method can be found in [PDF].
Interproblem nogood examples
The instances used in the paper are given in the