Due to changes in U.S. customs regulations, all shipments to the United States are now subject to customs clearance.
This means that the recipient will be required to pay customs duties, as well as any applicable taxes and fees upon import.
Please also note that delivery may be delayed while the shipment is being processed by U.S. customs.

Algorithms for the Satisfiability Problem - Jun Gu - Books - Cambridge University Press - 9780521640411 - June 1, 2020

In case cover and title do not match, the title is correct

Tell your friends about this item:

Algorithms for the Satisfiability Problem

Jun Gu

Login to be notified when the product is available again

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Algorithms for the Satisfiability Problem

Jun Gu

Describes state-of-the-art methods and discusses tradeoffs and limitations in the rapidly growing field of satisfiability testing.

250 pages

Media	Books Hardcover Book (Book with hard spine and cover)
Released	June 1, 2020
ISBN13	9780521640411
Publishers	Cambridge University Press
Pages	250
Dimensions	587 g (Weight (estimated))

Show all

More by Jun Gu

See all of Jun Gu ( e.g. Hardcover Book and Paperback Book )