Theory and Application of Satisfiability Testing Mais livros de Karem A. Sakallah & Laurent Simon

Theory and Applications of Satisfiability Testing - SAT 2007

2007