Related Books

Branching Programs and Binary Decision Diagrams
Language: en
Pages: 418
Authors: Ingo Wegener
Categories: Mathematics
Type: BOOK - Published: 2000-01-01 - Publisher: SIAM

DOWNLOAD EBOOK

Finite functions (in particular, Boolean functions) play a fundamental role in computer science and discrete mathematics. This book describes representations of
Branching Programs and Binary Decision Diagrams
Language: en
Pages: 411
Authors: Ingo Wegener
Categories: Mathematics
Type: BOOK - Published: 2000-01-01 - Publisher: SIAM

DOWNLOAD EBOOK

This book describes representations of Boolean functions that have small size for many important functions and which allow efficient work with the represented f
Decision Diagrams for Optimization
Language: en
Pages: 262
Authors: David Bergman
Categories: Computers
Type: BOOK - Published: 2016-11-01 - Publisher: Springer

DOWNLOAD EBOOK

This book introduces a novel approach to discrete optimization, providing both theoretical insights and algorithmic developments that lead to improvements over
Experimental Algorithmics
Language: en
Pages: 295
Authors: Rudolf Fleischer
Categories: Computers
Type: BOOK - Published: 2002-12-13 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Experimental algorithmics, as its name indicates, combines algorithmic work and experimentation: algorithms are not just designed, but also implemented and test
Mathematical Foundations of Computer Science 2014
Language: en
Pages: 659
Authors: Ersébet Csuhaj-Varjú
Categories: Computers
Type: BOOK - Published: 2014-08-12 - Publisher: Springer

DOWNLOAD EBOOK

This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of C