Theory and Applications of Satisfiability Testing – SAT 2018
21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
₹1,528.36 INR
-
Study Tools
Built-in study tools like highlights and more
-
Read Aloud
Listen and follow along as Bookshelf reads to you
-
Offline Access
Access your eTextbook anytime and anywhere
-
Global Search
Search across book content, figures, and your workbook
25+ Years of Digital Transformation
-
4500 Institutions
-
230+ Countries & Territories
-
10K+ Publishers
-
18M+ Active Users