SAT2000 (книга)
| SAT2000 | |
| Автор: | I. Gent Ian Gentles Hans Van Maaren Toby Walsh Ian Gent |
|---|---|
| Оригинал издан: | ???? |
Содержание |
Содержание 
От издателя
«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,…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
