satisfiability Books

1.

Introduction to Mathematics of Satisfiability

Author:: Marek, Victor W.
Marek, V. W.

ISBN:: 978-1-4398-0167-3

Book Format:: Hardback

List Price:: USD $104.95

Publisher:: CRC Press LLC

Publication Date:: Sep 2009

2.

Theory and Applications of Satisfiability Testing - SAT 2010

13th International Conference, SAT 2010,...

ISBN:: 978-3-642-14185-0

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Jun 2010

3.

Theory and Applications of Satisfiability Testing

7th International Conference, SAT 2004,...

Author:: Hoos, Holger H.
Mitchell, David G.

ISBN:: 978-3-540-27829-0

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Jul 2005

4.

Cliques, Coloring, and Satisfiability

Second DIMACS Implementation Challenge,...

ISBN:: 978-0-8218-6609-2

Book Format:: Hardback

List Price:: AUD $269.95

Publisher:: American Mathematical Society

Publication Date:: Jan 1996

5.

Satisfiability Problem

Theory and Applications

ISBN:: 978-0-8218-0479-7

Book Format:: Hardback

List Price:: USD $203.00USD $203.00

Publisher:: American Mathematical Society

Publication Date:: Dec 1997

6.

Theory and Applications of Satisfiability Testing

6th International Conference, SAT 2003, Santa...

ISBN:: 978-3-540-20851-8

Book Format:: Paperback

List Price:: AUD $203.95

Publisher:: Springer

Publication Date:: Jan 2004

7.

Satisfiability Problem

Theory and Applications

ISBN:: 978-0-8218-0479-7

Book Format:: Hardback

List Price:: AUD $287.00

Publisher:: American Mathematical Society

Publication Date:: Dec 1997

8.

Theory and Applications of Satisfiability Testing - SAT 2006

9th International Conference, Seattle, WA,...

ISBN:: 978-3-540-37206-6

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Jul 2006

9.

Theory and Applications of Satisfiability Testing - SAT 2006

9th International Conference, Seattle, WA,...

ISBN:: 978-3-540-37206-6

Book Format:: Paperback

List Price:: AUD $187.95

Publisher:: Springer

Publication Date:: Jan 2006

10.

Cliques, Coloring, and Satisfiability

Second DIMACS Implementation Challenge,...

ISBN:: 978-0-8218-6609-2

Book Format:: Hardback

List Price:: USD $131.00

Publisher:: American Mathematical Society

Publication Date:: Oct 1996

11.

Theory and Applications of Satisfiability Testing

7th International Conference, SAT 2004,...

Author:: Hoos, Holger H.
Mitchell, David G.

ISBN:: 978-3-540-27829-0

Book Format:: Paperback

List Price:: AUD $196.95

Publisher:: Springer

Publication Date:: Jan 2005

12.

Theory and Applications of Satisfiability Testing

6th International Conference, SAT 2003, Santa...

ISBN:: 978-3-540-20851-8

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Jan 2004

13.

Theory and Applications of Satisfiability Testing

8th International Conference, SAT 2005, St...

ISBN:: 978-3-540-26276-3

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Jun 2005

14.

Theory and Applications of Satisfiability Testing

8th International Conference, SAT 2005, St...

ISBN:: 978-3-540-26276-3

Book Format:: Paperback

List Price:: AUD $225.95

Publisher:: Springer

Publication Date:: Jan 2005

15.

Theory and Applications of Satisfiability Testing - Sat 2007

10th International Conference, Lisbon,...

ISBN:: 978-3-540-72787-3

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: May 2007

16.

Theory and Applications of Satisfiability Testing - Sat 2007

10th International Conference, Lisbon,...

ISBN:: 978-3-540-72787-3

Book Format:: Paperback

List Price:: AUD $169.95

Publisher:: Springer

Publication Date:: Jun 2007

17.

Theory and Applications of Satisfiability Testing - SAT 2010

13th International Conference, SAT 2010,...

ISBN:: 978-3-642-14185-0

Book Format:: Paperback

List Price:: AUD $203.95

Publisher:: Springer

Publication Date:: Jun 2010

18.

Sat 2005

Satisfiability Research in the Year 2005

ISBN:: 978-1-4020-4552-3

Book Format:: Hardback

List Price:: AUD $334.95

Publisher:: Springer

Publication Date:: Jan 2006

19.

Sat 2005

Satisfiability Research in the Year 2005

ISBN:: 978-1-4020-4552-3

Book Format:: Hardback

List Price:: USD $169.99

Publisher:: Springer Netherlands

Publication Date:: Oct 2006

20.

SAT2000

Highlights of Satisfiability Research in the Year 2000

ISBN:: 978-1-58603-061-2

Book Format:: Hardback

List Price:: USD $143.00

Publisher:: IOS Press, Incorporated

Publication Date:: Aug 2000

Books » All » satisfiability

Related Keywords

Refine Options

Featured Books


1.		Introduction to Mathematics of Satisfiability Author: Marek, Victor W. Marek, V. W. ISBN: 978-1-4398-0167-3 Book Format: Hardback List Price: USD $104.95 Publisher: CRC Press LLC Publication Date: Sep 2009 Quantity Note

2.		Theory and Applications of Satisfiability Testing - SAT 2010 13th International Conference, SAT 2010,... ISBN: 978-3-642-14185-0 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: Jun 2010 Quantity Note

3.		Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004,... Author: Hoos, Holger H. Mitchell, David G. ISBN: 978-3-540-27829-0 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: Jul 2005 Quantity Note

4.		Cliques, Coloring, and Satisfiability Second DIMACS Implementation Challenge,... ISBN: 978-0-8218-6609-2 Book Format: Hardback List Price: AUD $269.95 Publisher: American Mathematical Society Publication Date: Jan 1996 Quantity Note

5.		Satisfiability Problem Theory and Applications ISBN: 978-0-8218-0479-7 Book Format: Hardback List Price: USD $203.00USD $203.00 Publisher: American Mathematical Society Publication Date: Dec 1997 Quantity Note

6.		Theory and Applications of Satisfiability Testing 6th International Conference, SAT 2003, Santa... ISBN: 978-3-540-20851-8 Book Format: Paperback List Price: AUD $203.95 Publisher: Springer Publication Date: Jan 2004 Quantity Note

7.		Satisfiability Problem Theory and Applications ISBN: 978-0-8218-0479-7 Book Format: Hardback List Price: AUD $287.00 Publisher: American Mathematical Society Publication Date: Dec 1997 Quantity Note

8.		Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA,... ISBN: 978-3-540-37206-6 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: Jul 2006 Quantity Note

9.		Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA,... ISBN: 978-3-540-37206-6 Book Format: Paperback List Price: AUD $187.95 Publisher: Springer Publication Date: Jan 2006 Quantity Note

10.		Cliques, Coloring, and Satisfiability Second DIMACS Implementation Challenge,... ISBN: 978-0-8218-6609-2 Book Format: Hardback List Price: USD $131.00 Publisher: American Mathematical Society Publication Date: Oct 1996 Quantity Note

11.		Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004,... Author: Hoos, Holger H. Mitchell, David G. ISBN: 978-3-540-27829-0 Book Format: Paperback List Price: AUD $196.95 Publisher: Springer Publication Date: Jan 2005 Quantity Note

12.		Theory and Applications of Satisfiability Testing 6th International Conference, SAT 2003, Santa... ISBN: 978-3-540-20851-8 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: Jan 2004 Quantity Note

13.		Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St... ISBN: 978-3-540-26276-3 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: Jun 2005 Quantity Note

14.		Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St... ISBN: 978-3-540-26276-3 Book Format: Paperback List Price: AUD $225.95 Publisher: Springer Publication Date: Jan 2005 Quantity Note

15.		Theory and Applications of Satisfiability Testing - Sat 2007 10th International Conference, Lisbon,... ISBN: 978-3-540-72787-3 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: May 2007 Quantity Note

16.		Theory and Applications of Satisfiability Testing - Sat 2007 10th International Conference, Lisbon,... ISBN: 978-3-540-72787-3 Book Format: Paperback List Price: AUD $169.95 Publisher: Springer Publication Date: Jun 2007 Quantity Note

17.		Theory and Applications of Satisfiability Testing - SAT 2010 13th International Conference, SAT 2010,... ISBN: 978-3-642-14185-0 Book Format: Paperback List Price: AUD $203.95 Publisher: Springer Publication Date: Jun 2010 Quantity Note

18.		Sat 2005 Satisfiability Research in the Year 2005 ISBN: 978-1-4020-4552-3 Book Format: Hardback List Price: AUD $334.95 Publisher: Springer Publication Date: Jan 2006 Quantity Note

19.		Sat 2005 Satisfiability Research in the Year 2005 ISBN: 978-1-4020-4552-3 Book Format: Hardback List Price: USD $169.99 Publisher: Springer Netherlands Publication Date: Oct 2006 Quantity Note

20.		SAT2000 Highlights of Satisfiability Research in the Year 2000 ISBN: 978-1-58603-061-2 Book Format: Hardback List Price: USD $143.00 Publisher: IOS Press, Incorporated Publication Date: Aug 2000 Quantity Note