Theory and Application of Satisfiability Testing

Ediciones (1)

• Theory and Application of Satisfiability Testing (2011)

  Springer · ISBN 9783642215827

Más obras de Karem A. Sakallah

Theory and Applications of Satisfiability Testing - SAT 2011

TTheory and Applications of Satisfiability Testing - SAT 2007