|
|
libcats.org
Satisfiability problem: theory and applicationsJun Gu, Panos M. Pardalos, Jun Gu, Panos M. Pardalos, NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer ScienceThe satisfiability (SAT) problem is central in mathematical logic, computing theory, and many industrial applications. There has been a strong relationship between the theory, the algorithms, and the applications of the SAT problem. This book aims to bring together work by the best theorists, algorithmists, and practitioners working on the SAT problem and on industrial applications, as well as to enhance the interaction between the three research groups. The book features the application of theoretical/algorithmic results to practical problems and presents practical problems for theoretical/algorithmic study.
Major topics covered in the book include practical and industrial SAT problems and benchmarks, significant case studies and applications of the SAT problem and SAT algorithms, new algorithms and improved techniques for satisfiability testing, specific data structures and implementation details of the SAT algorithms, and the theoretical study of the SAT problem and SAT algorithms. Features: A comprehensive review of SAT research work over the past 25 years. The most recent research results. A spectrum of algorithmic issues and applications.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Момент истины (В августе сорок четвертого...)Автор: Богомолов Владимир ОсиповичКатегория: О войне
Размер книги: 1.83 Mb
Только что пользователи скачали эти книги:
Возбуждение и распространение сейсмических волнАвтор: Уайт Дж.Э. (J.E.White)Категория: Physics, Geophysics
Размер книги: 3.29 Mb
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, ProceedingsАвтор: David Basin, Автор: Michael Rusinowitch
Размер книги: 4.40 Mb
Uri; A Journal of the Mystery of Uri GellerАвтор: PUHARICH Andrija; Enid BlytonКатегория: Наука (общее), Научно-популярное
Размер книги: 549 Kb
Arnold-Chiari Malformation - A Medical Dictionary, Bibliography, and Annotated Research Guide to Internet ReferencesАвтор: James N. Parker
Размер книги: 1.01 Mb
Professional Android Programming with Mono for Android and .NET/CАвтор: Wallace B. McClure, Автор: Nathan Blevins, Автор: John J. Croft IV, Автор: Jonathan Dick, Автор: Chris Hardy
Размер книги: 21.95 Mb
A Long Walk, for tАвтор: Jones Stephen, Автор: Smith Michael Marshall, Автор: Sutton DavidКатегория: fiction
Размер книги: 10 Kb
|
|
|