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
Activity
Mendeley demographics
Login to view Mendeley reader trends over time.
| Chapter title |
SMT-COMP: Satisfiability Modulo Theories Competition
|
|---|---|
| Chapter number | 4 |
| Book title |
Computer Aided Verification
|
| Published by |
Springer, Berlin, Heidelberg, July 2005
|
| DOI | 10.1007/11513988_4 |
| Book ISBNs |
978-3-54-027231-1, 978-3-54-031686-2
|
| Authors |
Clark Barrett, Leonardo de Moura, Aaron Stump, Barrett, Clark, de Moura, Leonardo, Stump, Aaron |
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 25 Mendeley readers of this research output. Click here to see the associated Mendeley record.
Geographical breakdown
| Country | Count | As % |
|---|---|---|
| Brazil | 2 | 8% |
| Italy | 1 | 4% |
| Spain | 1 | 4% |
| Unknown | 21 | 84% |
Demographic breakdown
| Readers by professional status | Count | As % |
|---|---|---|
| Student > Ph. D. Student | 8 | 32% |
| Researcher | 4 | 16% |
| Student > Master | 3 | 12% |
| Professor > Associate Professor | 3 | 12% |
| Student > Doctoral Student | 2 | 8% |
| Other | 3 | 12% |
| Unknown | 2 | 8% |
| Readers by discipline | Count | As % |
|---|---|---|
| Computer Science | 21 | 84% |
| Mathematics | 1 | 4% |
| Engineering | 1 | 4% |
| Unknown | 2 | 8% |