Text this: Logic-based 0-1 constraint programming / Peter Barth.