Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings

The 21 regular papers, 5 short papers, and 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 71 submissions (850 regular, 15 short and 16 tool papers). Read More

The 21 regular papers, 5 short papers, and 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 71 submissions (850 regular, 15 short and 16 tool papers). Read Less

• All from $16.50
• New Books from $58.64
• Used Books from $65.29
• eBook from $16.50

• • eBook Details

  	This is a digital edition of this title. Rent eBook (5 Options) 30 Day Rental: $16.50 (Expires Aug 04, 2025) 60 Day Rental: $22.00 (Expires Sep 03, 2025) 90 Day Rental: $27.50 (Expires Oct 03, 2025) 120 Day Rental: $33.00 (Expires Nov 02, 2025) 180 Day Rental: $35.75 (Expires Jan 01, 2026) Buy eBook Lifetime Access: $54.99 Title: Theory and Applications of Satisfiability Testing-Sat 2013 Publisher: Springer Nature Print ISBN: 9783642390708, 3642390706 eText ISBN: 9783642390715 Edition: 2013 2013 edition Format: PDF eBook	$16.50 Rent eBook This is a digital eBook Nothing will be shipped to you Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices Most eBooks are returnable within 14 days of purchase Questions? See our eBook FAQ