• Book cover of: Theory and Applications of Satisfiability Testing -- SAT 2015. By: Marijn Heule

Theory and Applications of Satisfiability Testing -- SAT 2015

Marijn Heule

€66,68
€66,68 €68,74 Sale
Tax included. Shipping calculated at checkout.

In stock
Autorius Marijn Heule
Leidimo metai 2015 m.
Puslapių skč. 436 psl.
Viršelis Minkštas viršelis
ISBN 9783319243177
Leidimas 1st ed. 2015

Theory and Applications of Satisfiability Testing -- SAT 2015

Theory and Applications of Satisfiability Testing -- SAT 2015 by Marijn Heule, Sean Weaver.

Published by Springer International Publishing AG, (2015), Paperback, 436 pages.

Topics: Computer algorithms, Computer software, verification.

Book cover of: Theory and Applications of Satisfiability Testing -- SAT 2015. By: Marijn Heule

Theory and Applications of Satisfiabi...

€66,68
€66,68 €68,74