Martin Knor Ludovít Niepel Independence Number in Path Graphs. 2004 23 Computers and Artificial Intelligence 2 db/journals/cai/cai23.html#KnorN04