Theory and Application of Satisfiability Testing Karem A. Sakallah & Laurent Simon: другие книги

Theory and Applications of Satisfiability Testing - SAT 2007

2007