ISBN: 9783319373645 - bridging constraint satisfaction and boolean satisfiability (17 risultati)
Lingua: Inglese
Editore: Springer, 2016
Serie: Libro 1 di 15 - Artificial Intelligence: Foundations, Theory, and Algorithms
- Brossura
Da: Marlton Books, Bridgeton, NJ, U.S.A.Marlton Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 44,81
EUR 2,67 spedizioneSpedito in U.S.A.Quantità: 1 disponibile
Condizione: Good. Has some wear and creases. Has a remainder mark. paperback Used - Good 2016.
Lingua: Inglese
Editore: Springer, 2016
Serie: Libro 1 di 15 - Artificial Intelligence: Foundations, Theory, and Algorithms
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,56
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer 10/22/2016, 2016
Serie: Libro 1 di 15 - Artificial Intelligence: Foundations, Theory, and Algorithms
- Brossura
Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,00
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Paperback or Softback. Condizione: New. Bridging Constraint Satisfaction and Boolean Satisfiability. Book.
Lingua: Inglese
Editore: Springer, 2016
Serie: Libro 1 di 15 - Artificial Intelligence: Foundations, Theory, and Algorithms
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 62,75
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer, 2016
Serie: Libro 1 di 15 - Artificial Intelligence: Foundations, Theory, and Algorithms
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 66,11
EUR 2,67 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer, 2016
Serie: Libro 1 di 15 - Artificial Intelligence: Foundations, Theory, and Algorithms
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 66,76
EUR 11,17 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In English.
Lingua: Inglese
Editore: Springer, 2016
Serie: Libro 1 di 15 - Artificial Intelligence: Foundations, Theory, and Algorithms
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,26
EUR 17,89 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer, 2016
Serie: Libro 1 di 15 - Artificial Intelligence: Foundations, Theory, and Algorithms
- Brossura
Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 82,11
EUR 3,56 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 128 Softcover reprint of the original 1st ed. 2015 edition NO-PA16APR2015-KAP.
Lingua: Inglese
Editore: Springer, 2016
Serie: Libro 1 di 15 - Artificial Intelligence: Foundations, Theory, and Algorithms
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 68,65
EUR 17,89 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer, Berlin, Springer, 2016
Serie: Libro 1 di 15 - Artificial Intelligence: Foundations, Theory, and Algorithms
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 66,40
EUR 35,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers. The author also gives theoretical reasons for choosing a particular SAT encoding for several important classes of CSP instances.Boolean satisfiability and constraint satisfaction emerged independently as new fields of computer science, and different solving techniques have become standard for problem solving in the two areas. Even though any propositional formula (SAT) can be viewed as an instance of the general constraint satisfaction problem (CSP), the implications of this connection have only been studied in the last few years.The book will be useful for researchers and graduate students in artificial intelligence and theoretical computer science.…
Lingua: Inglese
Editore: Springer, 2016
Serie: Libro 1 di 15 - Artificial Intelligence: Foundations, Theory, and Algorithms
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,45
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Bridging Constraint Satisfaction and Boolean Satisfiability | Justyna Petke | Taschenbuch | xi | Englisch | 2016 | Springer | EAN 9783319373645 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …
Lingua: Inglese
Editore: Springer 2016-10, 2016
Serie: Libro 1 di 15 - Artificial Intelligence: Foundations, Theory, and Algorithms
- Brossura
- Print on Demand
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,21
EUR 5,35 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 20 disponibili
PF. Condizione: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.
Lingua: Inglese
Editore: Springer, 2016
Serie: Libro 1 di 15 - Artificial Intelligence: Foundations, Theory, and Algorithms
- Brossura
- Print on Demand
Da: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 46,22
EUR 20,00 spedizioneSpedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Condizione: new. Questo è un articolo print on demand.
Lingua: Inglese
Editore: Berlin Springer International Publishing Springer Okt 2016, 2016
Serie: Libro 1 di 15 - Artificial Intelligence: Foundations, Theory, and Algorithms
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers. The author also gives theoretical reasons for choosing a particular SAT encoding for several important classes of CSP instances.Boolean satisfiability and constraint satisfaction emerged independently as new fields of computer science, and different solving techniques have become standard for problem solving in the two areas. Even though any propositional formula (SAT) can be viewed as an instance of the general constraint satisfaction problem (CSP), the implications of this connection have only been studied in the last few years.The book will be useful for researchers and graduate students in artificial intelligence and theoretical computer science. 113 pp. Englisch.…
Lingua: Inglese
Editore: Springer, 2016
Serie: Libro 1 di 15 - Artificial Intelligence: Foundations, Theory, and Algorithms
- Brossura
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 83,42
EUR 7,75 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand pp. 128.
Lingua: Inglese
Editore: Springer, 2016
Serie: Libro 1 di 15 - Artificial Intelligence: Foundations, Theory, and Algorithms
- Brossura
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 84,09
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND pp. 128.
Lingua: Inglese
Editore: Springer International Publishing, 2016
Serie: Libro 1 di 15 - Artificial Intelligence: Foundations, Theory, and Algorithms
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,74
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Explains why SAT-solvers are efficient on certain classes of CSPsExplains which SAT encodings preserve tractability of certain classes of CSPsValuable for researchers and graduate students in artificial intelligence and theoretical comp.…
