9783540208518 - theory and applications of satisfiability testing: 6th international conference, sat 2003 santa margherita ligure, italy, may 5-8, 2003 selected ... (lecture notes in computer science, 2919) (14 resultados)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 64,06
Envío por EUR 2,30Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,28
Envío por EUR 13,80Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
Librería: Chiron Media, Wallingford, , Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 56,95
Envío por EUR 17,85Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
PF. Condición: New.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 73,93
Envío por EUR 2,30Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,89
Envío por EUR 17,28Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 66,39
Envío por EUR 17,28Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 82,75
Envío por EUR 3,48Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 548.
- Tapa blanda
Librería: moluna, Greven, , Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 48,37
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 64,10Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is devoted to the 6th International Conference on Theory and - plications of Satis ability Testing (SAT 2003) held in Santa Margherita Ligure (Genoa,Italy), during May5 8,2003. SAT 2003followedthe WorkshopsonS- is ability held in Siena (1…996), Paderborn (1998), and Renesse (2000), and the Workshop on Theory and Applications of Satis ability Testing held in Boston (2001) and in Cincinnati (2002). As in the last edition, the SAT event hosted a SAT solvers competition, and, starting from the 2003 edition, also a Quanti ed Boolean Formulas (QBFs) solvers comparative evaluation. There were 67 submissions of high quality, authored by researchers from all over the world. All the submissions were thoroughly evaluated, and as a result 42 were selected for oral presentations, and 16 for a poster presentation. The presentations covered the whole spectrum of research in propositional and QBF satis ability testing, including proof systems, search techniques, probabilistic analysis of algorithms and their properties, problem encodings, industrial app- cations, speci c tools, case studies and empirical results. Further, the program was enriched by three invited talks, given by Riccardo Zecchina (on Survey Propagation: from Analytic Results on Random k-SAT to a Message-Passing - gorithm for Satis ability ), Toby Walsh (on Challenges in SAT (and QBF) ) and Wolfgang Kunz (on ATPG Versus SAT: Comparing Two Paradigms for Boolean Reasoning ). SAT 2003 thus provided a unique forum for the presen- tion and discussion of research related to the theory and applications of pro- sitional and QBF satis ability testing.
Más imágenes- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,25
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Theory and Applications of Satisfiability Testing | 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers | Enrico Giunchiglia (u. a.) | Taschenbuch | xi | Englisch | 2004 | Springer | EAN 9783540208518 | Verantwortliche Person für die EU: Spri…nger Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is devoted to the 6th International Conference on Theory and - plications of Satis ability Testing (SAT 2003) held in Santa Margherita Ligure (Genoa,Italy), during May5 8,2003. SAT 2003followedthe WorkshopsonS- is ability…held in Siena (1996), Paderborn (1998), and Renesse (2000), and the Workshop on Theory and Applications of Satis ability Testing held in Boston (2001) and in Cincinnati (2002). As in the last edition, the SAT event hosted a SAT solvers competition, and, starting from the 2003 edition, also a Quanti ed Boolean Formulas (QBFs) solvers comparative evaluation. There were 67 submissions of high quality, authored by researchers from all over the world. All the submissions were thoroughly evaluated, and as a result 42 were selected for oral presentations, and 16 for a poster presentation. The presentations covered the whole spectrum of research in propositional and QBF satis ability testing, including proof systems, search techniques, probabilistic analysis of algorithms and their properties, problem encodings, industrial app- cations, speci c tools, case studies and empirical results. Further, the program was enriched by three invited talks, given by Riccardo Zecchina (on Survey Propagation: from Analytic Results on Random k-SAT to a Message-Passing - gorithm for Satis ability ), Toby Walsh (on Challenges in SAT (and QBF) ) and Wolfgang Kunz (on ATPG Versus SAT: Comparing Two Paradigms for Boolean Reasoning ). SAT 2003 thus provided a unique forum for the presen- tion and discussion of research related to the theory and applications of pro- sitional and QBF satis ability testing. 548 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, , Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 82,93
Envío por EUR 7,49Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand pp. 548 Illus.
- Tapa blanda
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 80,28
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND pp. 548.
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Satisfiability and Computing van der Waerden Numbers.- An Algorithm for SAT Above the Threshold.- Watched Data Structures for QBF Solvers.- How Good Can a Resolution Based SAT-solverBe .- A Local Search SAT Solver Using an Effective Swi…tching Strategy and an Efficient Unit Propagation.- Density Condensation of Boolean Formulas.- SAT Based Predicate Abstraction for Hardware Verification.- On Boolean Models for Quantified Boolean Horn Formulas.- Local Search on SAT-encoded Colouring Problems.- A Study of Pure Random Walk on Random Satisfiability Problems with 'Physical' Methods.- Hidden Threshold Phenomena for Fixed-Density SAT-formulae.- Improving a Probabilistic 3-SAT Algorithm by Dynamic Search and Independent Clause Pairs.- Width-Based Algorithms for SAT and CIRCUIT-SAT.- Linear Time Algorithms for Some Not-All-Equal Satisfiability Problems.- On Fixed-Parameter Tractable Parameterizations of SAT.- On the Probabilistic Approach to the Random Satisfiability Problem.- Comparing Different Prenexing Strategies for Quantified Boolean Formulas.- Solving Error Correction for Large Data Sets by Means of a SAT Solver.- Using Problem Structure for Efficient Clause Learning.- Abstraction-Driven SAT-based Analysis of Security Protocols.- A Case for Efficient Solution Enumeration.- Cache Performance of SAT Solvers: a Case Study for Efficient Implementation of Algorithms.- Local Consistencies in SAT.- Guiding SAT Diagnosis with Tree Decompositions.- On Computing k-CNF Formula Properties.- Effective Preprocessing with Hyper-Resolution and Equality Reduction.- Read-Once Unit Resolution.- The Interaction Between Inference and Branching Heuristics.- Hypergraph Reductions and Satisfiability Problems.- SBSAT: a State-Based, BDD-Based Satisfiability Solver.- Computing VertexEccentricity in Exponentially Large Graphs: QBF Formulation and Solution.- The Combinatorics of Conflicts between Clauses.- Conflict-Based Selection of Branching Rules.- The Essentials of the SAT 2003 Competition.- Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers.- kcnfs: An Efficient Solver for Random k-SAT Formulae.- An Extensible SAT-solver.- Survey and Belief Propagation on Random K-SAT.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 548 pp. Englisch.
