More Books:

Invitation to Fixed-Parameter Algorithms
Language: en
Pages: 316
Authors: Rolf Niedermeier
Categories: Mathematics
Type: BOOK - Published: 2006-02-02 - Publisher: OUP Oxford

An application-oriented introduction to the highly topical area of the development and analysis of efficient fixed-parameter algorithms for hard problems. Aimed at graduate and research mathematicians, algorithm designers, and computer scientists, it provides a fresh view on this highly innovative field of algorithmic research.
Invitation to Fixed-Parameter Algorithms
Language: en
Pages: 316
Authors: Rolf Niedermeier
Categories: Mathematics
Type: BOOK - Published: 2006-02-02 - Publisher: OUP Oxford

This research-level text is an application-oriented introduction to the growing and highly topical area of the development and analysis of efficient fixed-parameter algorithms for optimally solving computationally hard combinatorial problems. The book is divided into three parts: a broad introduction that provides the general philosophy and motivation; followed by coverage
Parameterized and Exact Computation
Language: en
Pages: 239
Authors: Venkatesh Raman, Saket Saurabh
Categories: Computers
Type: BOOK - Published: 2010-12-06 - Publisher: Springer

Annotation. This book constitutes the refereed best selected papers of the 5th International Symposium on Parameterized and Exact Computation, IPEC 2010, held in Chennai, India, in December 2010. The 19 revised full papers presented were carefully reviewed and selected from 32 submissions. The topics addressed cover research in all aspects
Handbook of Graph Theory, Combinatorial Optimization, and Algorithms
Language: en
Pages: 1244
Authors: Krishnaiyan "KT" Thulasiraman, Subramanian Arumugam, Andreas Brandstädt, Takao Nishizeki
Categories: Computers
Type: BOOK - Published: 2016-01-05 - Publisher: CRC Press

The fusion between graph theory and combinatorial optimization has led to theoretically profound and practically useful algorithms, yet there is no book that currently covers both areas together. Handbook of Graph Theory, Combinatorial Optimization, and Algorithms is the first to present a unified, comprehensive treatment of both graph theory and
Theory and Applications of Satisfiability Testing - SAT 2006
Language: en
Pages: 440
Authors: Armin Biere, Carla P. Gomes
Categories: Mathematics
Type: BOOK - Published: 2006-07-19 - Publisher: Springer

This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006. The book presents 26 revised full papers together with 11 revised short papers and 2 invited talks. Coverage extends to all current research issues in propositional and quantified Boolean formula