Our book Effective Logic Computation was first published in 1998 by Wiley. The company transferred the copyright back to us in 2002. Using templates developed earlier by G. Rinaldi and F.-S. Sun, we then created an ebook revised edition that could, and still can, be downloaded free of charge. Just check the Internet for websites offering the book.

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.