Victor W. Marek

• Introduction to Mathematics of Satisfiability