Theory and Application of Satisfiability Testing Plus de livres par Karem A. Sakallah & Laurent Simon

Theory and Applications of Satisfiability Testing - SAT 2007

2007