Mirko Krivánek Hexagonal Unit Network a Tool for Proving the NP-Completeness Results of Geometric Problems. 37-41 1986 22 Inf. Process. Lett. 1 db/journals/ipl/ipl22.html#Krivanek86