This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...
Lire la suiteConstitutes the refereed proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, held in Germany, ...
Lire la suiteThis book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held ...
Lire la suiteThe Symposium on Theoretical Aspects of Computer Science (STACS) is alternately held in France and in Germany. The conference ...
Lire la suiteThis book deals with advanced techniques of computer virology from a double perspective: the analysis of antiviral defense ...
Lire la suiteLocal search has been applied successfully to a diverse collection of optimization problems. It's appreciated for its basic ...
Lire la suitethe book is a very fitting tribute to the legacy of Shimon Even.Shimon Even was considered a superb teacher in Computer ...
Lire la suiteThis book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability ...
Lire la suiteTheory of Computation is a unique textbook that serves the dual purposes of covering core material in the foundations of ...
Lire la suiteReports on recent developments in the theory of evolutionary computation, or more generally the domain of randomized search ...
Lire la suiteThis book focus on theoretical aspects of quantum computation, quantum communication, and quantum cryptography, which are ...
Lire la suiteThis book begins by providing appropriate background information and then follows with an in-depth study of a few key issues ...
Lire la suiteThis monograph, a revised version of the author's habilitation thesis, focusses on optimal flow analysis of sequential and ...
Lire la suite