Theory and Applications of Satisfiability Testing - S.A.T. 2009: 12th International Conference, S.A.T. 2009, Swansea, U.K., June 30 - July 3, 2009. . ... Notes in Computer Science, Band 5584)
von
Oliver Kullmann
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-02776-5
ISBN-10: 3-642-02776-8
Springer
· 2009
