BookSee.org
Booksee.org
Главная

Decision Procedures: An Algorithmic Point of View

Обложка книги Decision Procedures: An Algorithmic Point of View

Decision Procedures: An Algorithmic Point of View

, ,
I'm in the EDA business, and the book gave me exactly what I needed, and in a very accessible way, too. In my case I needed to learn about SAT and about algorithms for handling bitvectors (I will probably need arrays and pointers at some point later on, given the project I am involved in). Many of the things there I assumed I knew (I read some papers in this field and I discuss it regularly with colleagues at work. I also looked at code of a SAT solver), but reading it really organized things for me very well.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги: