|
|
|
Item Details
Title:
|
ALGORITHMS FOR THE SATISFIABILITY PROBLEM
|
By: |
Jun Gu |
Format: |
Hardback |
List price:
|
£30.00 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
0521640415 |
ISBN 13: |
9780521640411 |
Publisher: |
CAMB.U.P. |
Pub. date: |
1 June, 2016 |
Series: |
Cambridge Tracts in Theoretical Computer Science |
Pages: |
250 |
Description: |
Describes state-of-the-art methods and discusses tradeoffs and limitations in the rapidly growing field of satisfiability testing. |
Returns: |
Returnable |
|
|
|
|
Ramadan and Eid al-Fitr
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
|
|
|
|
|
|
|
|
|
|
|