Automatické riešenie problému pokrytia Petrickovou metódou II. - Krajči, Peter, 1989- (STU v Bratislave FIIT, 2012)