Reducing CMSO Model Checking to Highly Connected Graphs.

Daniel Lokshtanov, M. S. Ramanujan, Saket Saurabh, Meirav Zehavi

Browse the full ICALP paper archive.