Bauland, Michael profile picture

Bauland, Michael

Complexity results for boolean constraint satisfaction problems