Displaying similar documents to “The formulation of the problem of program segmentation in the terms of pseudoboolean programming”