0
*
0
*
1450
2025
book-filter
Work cover

Theory and Applications of Satisfiability Testing - SAT 2008

  • Hans Kleine Büning,
  • Xishun Zhao

0

0 ratings

Genres

    Already read

    people already read

    Currently reading

    people are currently reading

    Want to read

    people want to read

    About the authors

    • Hans Kleine Büning

      0

      0 ratings · 8 works

    • Xishun Zhao

      0

      0 ratings · 5 works

    Editions

    • Edition cover

      Springer London, Limited

      2008