These are instances which stem from a formulation of Boolean Function Synthesis Problems in SAT; The instances are described in [KKRR92] and have been contributed to the DIMACS benchmark set by Mauricio Resende.

[KKRR92] | A.P. Kamath, N.K. Karmarkar, K.G. Ramakrishnan, and M.G.C. Resende.
A Continuous Approach to Inductive Inference.
Mathematical Programming, Vol. 57, pages 215-238, 1992. |