Includes supplementary material: sn.pub/extras
Frank Dehne
Resolution algorithmics algorithms algorithms design complexity complexity analysis complexity theory computational complexity computational discrete mathematics exact computation graph algorithms parameterized complexity parameterized computation problem complexity proof