Isbn: 9783319373645 - bridging constraint satisfaction and boolean satisfiability (15 risultati)
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 55,53
EUR 2,27 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 57,88
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 60,54
EUR 2,27 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 4 stelleCondizione: Nuovo
EUR 63,78
Spedizione gratuitaSpedito 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 59,19
EUR 13,15 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Springer 2016-10, 2016
Serie: Libro 1 di 15 - Artificial Intelligence: Foundations, Theory, and Algorithms
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 56,85
EUR 18,04 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
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 59,18
EUR 17,47 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, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 75,87
EUR 3,43 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 66,22
EUR 17,47 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 60,34
EUR 30,50 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
- 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 75,05
EUR 7,57 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 77,40
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.…
