cartcart

    Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications, Band 185)

     
    Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications, Band 185)

    Description

    A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.

    Product details

    EAN/ISBN:
    9781586039295
    Medium:
    Bound edition
    Number of pages:
    980
    Publication date:
    2009-02-15
    Publisher:
    IOS Press
    EAN/ISBN:
    9781586039295
    Medium:
    Bound edition
    Number of pages:
    980
    Publication date:
    2009-02-15
    Publisher:
    IOS Press

    Shipping

    laposte
    The edition supplied may vary.
    Currently sold out

    Recommended for you