Pavel Surynek Lukás Chrpa Jirí Vyskocil Solving Difficult Problems by Viewing them as Structured Dense Graphs. 84-103 2007 IICAI db/conf/iicai/iicai2007.html#SurynekCV07