SAT2000
 |
|
Описание:
The book is devoted to various disciplines in Satisfiability research and aims to give the reader an impression of the state of the art of this research in the Year 2000. It consists of a compilation of articles on this subject which have appeared, or will appear in the periodicals. The disciplines covered fall (not entirely neatly) into four categories: complete methods, stochastic methods, applications, and extensions beyond propositional SAT. SAT 2000 Highlights of Satisfiability Research in the Year 2000 PREFACE by Hans van MaarenПохожие книги
 | Modern Methods of Construction: The way forward for the Irish Construction Industry Автор: Michael Gallagher Год: 2010 |
| Directed Evolution Library Creation. Methods and Protocols Автор: Arnold F.H., Georgiou G. Год: 2003 |
| Numerical Methods for Elliptic and Parabolic Partial Differential Equations Автор: Peter Knabner Год: 2003 |
| Numerical Methods for Elliptic and Parabolic Partial Differential Equations Автор: Peter Knabner Год: 2003 |
| Robust Statistics: Theory and Methods Автор: Ricardo A. Maronna Год: 2006 |
| Discontinuous Galerkin methods for solving elliptic and parabolic equations Автор: Riviere B. Год: 2008 |