Theory and Application of Satisfiability Testing More Books by Karem A. Sakallah & Laurent Simon

Theory and Applications of Satisfiability Testing - SAT 2007

2007