I do not know of an example where the method of 3.2 fails to find a colouring mod det(A). If you find one let me know.
Additional material
on determinants.
Previous lecture
Next lecture
