Algorithms for the Satisfiability Problem - Jun Gu - Livres - Cambridge University Press - 9780521640411 - 1 juin 2020
Si la couverture et le titre ne correspondent pas, le titre est correct.

Jun Gu
Algorithms for the Satisfiability Problem

Recevez un courriel lorsque l'article est disponible
Avez-vous un profil ? Connectez-vous

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Describes state-of-the-art methods and discusses tradeoffs and limitations in the rapidly growing field of satisfiability testing.

250 pages

Médias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 1 juin 2020
ISBN13 9780521640411
Éditeurs Cambridge University Press
Pages 250
Dimensions 150 × 220 × 20 mm   ·   587 g   (Poids (estimé))

Plus par Jun Gu

Afficher tout

Mere med samme udgiver

Voir tous les Jun Gu ( par ex. Hardcover Book et Paperback Book )