Network Satisfaction Problems Solved by k-Consistency.

Manuel Bodirsky, Simon Knuer

Browse the full ICALP paper archive.