Related Books

Handbook of Parallel Constraint Reasoning
Language: en
Pages: 687
Authors: Youssef Hamadi
Categories: Computers
Type: BOOK - Published: 2018-04-05 - Publisher: Springer

DOWNLOAD EBOOK

This is the first book presenting a broad overview of parallelism in constraint-based reasoning formalisms. In recent years, an increasing number of contributio
Handbook of Satisfiability
Language: en
Pages: 1486
Authors: A. Biere
Categories: Computers
Type: BOOK - Published: 2021-05-05 - Publisher: IOS Press

DOWNLOAD EBOOK

Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics. Over time, its formaliza
Handbook of Constraint Programming
Language: en
Pages: 977
Authors: Francesca Rossi
Categories: Computers
Type: BOOK - Published: 2006-08-18 - Publisher: Elsevier

DOWNLOAD EBOOK

Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, c
Handbook of Knowledge Representation
Language: en
Pages: 1035
Authors: Frank van Harmelen
Categories: Computers
Type: BOOK - Published: 2008-01-08 - Publisher: Elsevier

DOWNLOAD EBOOK

Handbook of Knowledge Representation describes the essential foundations of Knowledge Representation, which lies at the core of Artificial Intelligence (AI). Th
Limits to Parallel Computation
Language: en
Pages: 328
Authors: Raymond Greenlaw
Categories: Computational complexity
Type: BOOK - Published: 1995 - Publisher: Oxford University Press, USA

DOWNLOAD EBOOK

This book provides a comprehensive analysis of the most important topics in parallel computation. It is written so that it may be used as a self-study guide to