• Book cover of: Theory and Applications of Satisfiability Testing – SAT 2017. By: Serge Gaspers

Theory and Applications of Satisfiability Testing – SAT 2017

Serge Gaspers

€54,55
€54,55 €56,24 Sale
Tax included. Shipping calculated at checkout.

In stock
Autorius Serge Gaspers
Leidimo metai 2017 m.
Puslapių skč. 476 psl.
Viršelis Minkštas viršelis
ISBN 9783319662626
Leidimas 1st ed. 2017
Kategorijos Algebra

Theory and Applications of Satisfiability Testing – SAT 2017

Theory and Applications of Satisfiability Testing – SAT 2017 by Serge Gaspers, Toby Walsh.

Published by Springer, (2017), Paperback, 476 pages.

Topics: Calculus, Algebra, boolean, Computer algorithms.

Book cover of: Theory and Applications of Satisfiability Testing – SAT 2017. By: Serge Gaspers

Theory and Applications of Satisfiabi...

€54,55
€54,55 €56,24