Post #319 174 Mar 12, 2017, 13:58 UTC K-Best Solutions of MSO Problems on Tree-Decomposable Graphs '17veeeery interesting indeedhttps://arxiv.org/abs/1703.02784