Freunden von diesem Artikel berichten:
Algorithms for the Satisfiability Problem Jun Gu
Hast du ein Profil? Anmelden
Benachrichtigungen über neue Veröffentlichungen von Jun Gu erhalten
Zu deiner iMusic Wunschliste hinzufügen
Algorithms for the Satisfiability Problem
Jun Gu
Describes state-of-the-art methods and discusses tradeoffs and limitations in the rapidly growing field of satisfiability testing.
250 pages
| Medien | Bücher Gebundenes Buch (Buch mit hartem Rücken und steifem Einband) |
| Erscheinungsdatum | 1. Juni 2020 |
| ISBN13 | 9780521640411 |
| Verlag | Cambridge University Press |
| Seitenanzahl | 250 |
| Maße | 150 × 220 × 20 mm · 587 g (Geschätztes Gewicht) |
Weitere Titel von Jun Gu
Alle anzeigen![Cover for Jun Gu · Will and Responsibility: Legal Thinking of Artificial Intelligence - Human Intelligence (Gebundenes Buch) [2024 edition] (2024)](https://imusic.b-cdn.net/images/item/original/288/9789819739288.jpg?jun-gu-2024-will-and-responsibility-legal-thinking-of-artificial-intelligence-human-intelligence-gebundenes-buch&class=scaled&v=1719904679)
![Cover for Jun Gu · Human and Machines: Philosophical Thinking of Artificial Intelligence - Human Intelligence (Gebundenes Buch) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/049/9789811963049.jpg?jun-gu-2022-human-and-machines-philosophical-thinking-of-artificial-intelligence-human-intelligence-gebundenes-buch&class=scaled&v=1668478850)
Mehr vom selben Verlag
![Cover for Horvitz, Jon C. (City College, City University of New York) · Principles of Behavioral Neuroscience (Taschenbuch) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/100/9781009694100.jpg?horvitz-jon-c-city-college-city-university-of-new-york-2027-principles-of-behavioral-neuroscience-taschenbuch&class=scaled&v=1781538992)
![Cover for Horvitz, Jon C. (City College, City University of New York) · Principles of Behavioral Neuroscience (Gebundenes Buch) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/124/9781009694124.jpg?horvitz-jon-c-city-college-city-university-of-new-york-2027-principles-of-behavioral-neuroscience-gebundenes-buch&class=scaled&v=1781538969)
![Cover for Fontaine, Lise (Universite du Quebec a Trois-Rivieres) · Analysing English Grammar: A Systemic Functional Introduction (Taschenbuch) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/905/9781009437905.jpg?fontaine-lise-universite-du-quebec-a-trois-rivieres-2027-analysing-english-grammar-a-systemic-functional-introduction-taschenbuch&class=scaled&v=1781538937)
![Cover for Jackson, Robert J. (University of Redlands, California) · Global Politics in the 21st Century: War in Peacetime (Taschenbuch) [2 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/882/9781009114882.jpg?jackson-robert-j-university-of-redlands-california-2026-global-politics-in-the-21st-century-war-in-peacetime-taschenbuch&class=scaled&v=1778756904)
![Cover for Cunningham, Daniel W. (California State University, Fresno) · Set Theory: A First Course - Cambridge Mathematical Textbooks (Taschenbuch) [2 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/404/9781009583404.jpg?cunningham-daniel-w-california-state-university-fresno-2026-set-theory-a-first-course-cambridge-mathematical-textbooks-taschenbuch&class=scaled&v=1781538936)
![Cover for Lee, Yong-Shik (Law and Development Institute) · Reclaiming Development in the World Trading System: Principles of International Trade Law - Cambridge International Trade and Economic Law (Taschenbuch) [3 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/219/9781009552219.jpg?lee-yong-shik-law-and-development-institute-2026-reclaiming-development-in-the-world-trading-system-principles-of-international-trade-law-cambridge-international-trade-and-economic-law-taschenbuch&class=scaled&v=1782134137)
Alle Titel von Jun Gu ansehen ( u. a. Gebundenes Buch und Taschenbuch )