Theory and Applications of Satisfiability Testing – SAT 2017, Serge Gaspers; Toby Walsh

Автор: Marijn Heule; Sean Weaver
Название: Theory and Applications of Satisfiability Testing -- SAT 2015
ISBN: 3319243179 ISBN-13(EAN): 9783319243177
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, including theoretical advances (exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, and applications, as well as case studies and reports on insightful findings based on rigorous experimentation.The paper 'Constructing SAT Filters with a Quantum Annealer' is published open access under a CC BY-NC 2.5 license at link.springer.com.

Автор: Creignou
Название: Theory and Applications of Satisfiability Testing – SAT 2016
ISBN: 3319409697 ISBN-13(EAN): 9783319409696
Издательство: Springer
Рейтинг:
Цена: 10342.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016. The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions.

Автор: Ofer Strichman; Stefan Szeider
Название: Theory and Applications of Satisfiability Testing - SAT 2010
ISBN: 3642141854 ISBN-13(EAN): 9783642141850
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010.

Автор: Oliver Kullmann
Название: Theory and Applications of Satisfiability Testing - SAT 2009
ISBN: 3642027768 ISBN-13(EAN): 9783642027765
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 12th International Conference SAT 2009 Swansea UK June 30 July 3 2009 Proceedings. .

Автор: Justyna Petke
Название: Bridging Constraint Satisfaction and Boolean Satisfiability
ISBN: 3319218093 ISBN-13(EAN): 9783319218090
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Matti Jarvisalo; Allen Van Gelder
Название: Theory and Applications of Satisfiability Testing - SAT 2013
ISBN: 3642390706 ISBN-13(EAN): 9783642390708
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 21 regular papers, 5 short papers, and 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 71 submissions (850 regular, 15 short and 16 tool papers).