Decision Procedures: An Algorithmic Point of View

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

Decision Procedures: An Algorithmic Point of View
Author(s):        Daniel Kroening, Ofer Strichman, R.E. Bryant

Series:        Texts in Theoretical Computer Science.
Publisher:        Springer
Year:        2008       
Edition:        1
Language:        English       
Pages:        312
ISBN:        3540741046, 9783540741046, 9783540741053


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.

本帖隐藏的内容

Decision Procedures_ An Algorithmic Point of View (Springer 2008).pdf (5.94 MB, 需要: 20 个论坛币)

2014-12-6 11:56:30 上传

需要: 20 个论坛币  [购买]

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏1 回帖

关键词：Algorithmic Procedures Algorithm Procedure Decision accessible business exactly needed about

Thank you for sharing!!

看看，O(∩_∩)O谢谢