Computer Aided Verification
Springer Science & Business Media
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Timeline
Attention over time
Attention Score history
Mendeley demographics
| Chapter title |
DPLL( T ): Fast Decision Procedures
|
|---|---|
| Chapter number | 14 |
| Book title |
Computer Aided Verification
|
| Published by |
Springer, Berlin, Heidelberg, July 2004
|
| DOI | 10.1007/978-3-540-27813-9_14 |
| Book ISBNs |
978-3-54-022342-9, 978-3-54-027813-9
|
| Authors |
Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli, Ganzinger, Harald, Hagen, George, Nieuwenhuis, Robert, Oliveras, Albert, Tinelli, Cesare |
Login to access the Attention Digest and the Sentiment Analysis related to this output.
Mendeley demographics
The data shown below were compiled from readership statistics for 82 Mendeley readers of this research output. Click here to see the associated Mendeley record.
Geographical breakdown
| Country | Count | As % |
|---|---|---|
| United States | 2 | 2% |
| Portugal | 1 | 1% |
| Italy | 1 | 1% |
| Denmark | 1 | 1% |
| Canada | 1 | 1% |
| Unknown | 76 | 93% |
Demographic breakdown
| Readers by professional status | Count | As % |
|---|---|---|
| Student > Ph. D. Student | 25 | 30% |
| Student > Master | 15 | 18% |
| Researcher | 9 | 11% |
| Student > Bachelor | 5 | 6% |
| Professor > Associate Professor | 5 | 6% |
| Other | 11 | 13% |
| Unknown | 12 | 15% |
| Readers by discipline | Count | As % |
|---|---|---|
| Computer Science | 63 | 77% |
| Mathematics | 2 | 2% |
| Business, Management and Accounting | 2 | 2% |
| Engineering | 2 | 2% |
| Agricultural and Biological Sciences | 1 | 1% |
| Other | 0 | 0% |
| Unknown | 12 | 15% |