Effective Logic Computation Book Re-release
We now have re-released the revised edition in a low-cost print version. In some sense it is a companion book of the Matroid Decomposition book. Indeed, the theory of logic computation developed in the book relies on various concepts of matroid theory, in particular matroid decomposition. For details about the book, see the More Books page.