Theory and Applications of Satisfiability Testing -- SAT 2015, Marijn Heule; Sean Weaver

Автор: Serge Gaspers; Toby Walsh
Название: Theory and Applications of Satisfiability Testing – SAT 2017
ISBN: 3319662627 ISBN-13(EAN): 9783319662626
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Examines fundamental Daoist values, modes of thinking, dietetics, communities, leadership ideals, nonviolence, gender equality as well as methods of self-cultivation in relation to prehistoric patterns. An enlightening account of Daoism in the context of human development since the Paleolithic, this book offers a new vision of the Daoist tradition, Chinese history, and essential human choices.

Автор: 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).

Автор: 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. .

Автор: Swagatam Das; Tandra Pal; Samarjit Kar; Suresh Cha
Название: Proceedings of the 4th International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA) 2015
ISBN: 8132226933 ISBN-13(EAN): 9788132226932
Издательство: Springer
Рейтинг:
Цена: 28734.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The proceedings of the 4th International Conference on Frontiers in Intelligent Computing: Theory and Applications 2015 (FICTA 2015) serves as the knowledge centre not only for scientists and researchers in the field of intelligent computing but also for students of post-graduate level in various engineering disciplines.

Автор: 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.

Автор: 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.

Автор: 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.