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

Jun Gu
Algorithms for the Satisfiability Problem

Get an email once the item is available
Do you have a profile? Log in
Christmas presents can be returned until 31 January
Get notified about new Jun Gu releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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 150 × 220 × 20 mm   ·   587 g   (Weight (estimated))

More by Jun Gu

Show all

More from the same publisher

See all of Jun Gu