Decision Procedures: An Algorithmic Point Of View
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | April 29, 2008 |
| Authors | Daniel Kroening |
| Ofer Strichman | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2161096 |
About Decision Procedures: An Algorithmic Point Of View
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. . . .