- Shopping Bag ( 0 items )
From the PublisherThis interesting book covers the satisfiability problem with a strong focus on its mathematical background. It includes the famous theorems on the problem as well as some exotic results. … To improve understanding, the book offers plenty of insightful examples, elegant proofs, and each chapter ends with about a dozen exercises. … What I like most about the book is the wide variety of ideas of which the usefulness to solve many problems is almost tangible … the book covers more potentially powerful techniques, such as the cutting plane rule and various autarky detection methods, than those used in the latest state-of-the-art solvers. … apart from the collection of elegant proofs — from major theorems to exotic lemmas — Introduction to Mathematics of Satisfiability is also a source of inspiration for students and researchers in the field of satisfiability.
—Theory and Practice of Logic Programming, Vol. 11, Issue 1
… Through very current material at the heart of the book, the author presents and analyzes general algorithms that work better than exhaustive search … Marek also covers important special cases of the problem that turn out vulnerable to clever special attacks. … Summing Up: Recommended.
—CHOICE, September 2010
… an invaluable reference for anyone who is interested in issues ranging from theoretical mathematical logic to computational logic. The book maintains a nice tradeoff between formalism and clarity. … The author excels at relating his expositions to the current state of the art, and he recognizes when his discussions are only the tip of the iceberg. … its most significant contribution is its accessible explanations of how and why algorithms and ideas expose work.
—Carlos Linares Lopez, Computing Reviews, March 2010