. . "Computing explanations for the unary resource constraint" . . "P(GA201/04/1102), Z(MSM0021620838)" . "1"^^ . "Vil\u00EDm, Petr" . "RIV/00216208:11320/05:00206146!RIV10-GA0-11320___" . . "Springer-Verlag" . . . "516137" . "1"^^ . "RIV/00216208:11320/05:00206146" . "14"^^ . . "Berlin" . . "This paper shows how to effectively compute explanations for the unary resource constraint. The explanations are computed in a lazy way." . "Berlin" . . . "Computing; explanations; unary; resource; constraint"@en . "Computing explanations for the unary resource constraint"@en . "000230377700029" . . "11320" . . "[B6521F3478D6]" . "2005-01-01+01:00"^^ . . . . . "978-3-540-26152-0" . . . "Computing explanations for the unary resource constraint" . . "Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems" . "This paper shows how to effectively compute explanations for the unary resource constraint. The explanations are computed in a lazy way."@en . . "Computing explanations for the unary resource constraint"@en .