Theory and Applications of Satisfiability Testing

Theory and Applications of Satisfiability Testing

Holger H. Hoos

Format: Print Book

ISBN: 9783540278290

  • Rp 1.952.888,61
    Unit price per 
  • Save Rp 217.003,62
Tax included.

Will not ship until

Publication Year: 2005
Imprint: Springer Berlin Heidelberg
Format: P
Weight (Gram): 1270






We Also Recommend