Interproblem Nogoods

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 zip file.