TY - JOUR AU - Král, Jaroslav TI - The formulation of the problem of program segmentation in the terms of pseudoboolean programming JO - Kybernetika PY - 1968 SP - EP - 11 VL - 04 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/KYB_1968__4_1_a1/ LA - en ID - KYB_1968__4_1_a1 ER -