The formulation of the problem of program segmentation in the terms of pseudoboolean programming Jaroslav Král (1968) Kybernetika Similarity:
A procedure for determining necessary and sufficient conditions for the existence of a solution to the multi-index problem Graham Smith (1974) Aplikace matematiky Similarity: