JavaScript is disabled for your browser. Some features of this site may not work without it.
Statistics
Item views
| Views | |
|---|---|
| Incremental Satisfiability Solving and its Applications | 26957 |
Item views Per Month
| July 2021 | August 2021 | September 2021 | October 2021 | November 2021 | December 2021 | January 2022 | |
|---|---|---|---|---|---|---|---|
| Incremental Satisfiability Solving and its Applications | 719 | 784 | 431 | 523 | 465 | 359 | 205 |
File Visits
| Views | |
|---|---|
| isbn9789526055695.png | 1706 |
| isbn9789526055695.pdf | 653 |
| publication2.pdf | 238 |
| errata_of_P1_PIV.pdf | 149 |
Top viewing countries
| Views | |
|---|---|
| Finland | 11554 |
| United States | 4183 |
| United Kingdom | 1829 |
| China | 1431 |
| Netherlands | 1135 |
| France | 856 |
| Germany | 699 |
| Russia | 538 |
| Sweden | 440 |
| Greece | 230 |
Top viewing cities
| Views | |
|---|---|
| Helsinki | 551 |
| Shenzhen | 493 |
| Houston | 443 |
| Beijing | 333 |
| Zhengzhou | 298 |
| Ann Arbor | 278 |
| London | 248 |
| Boardman | 219 |
| Vantaa | 203 |
| Cambridge | 196 |
Submit a publication
Browse
Statistics
© Aalto University Learning Centre
Page content by: Aalto University Learning Centre | Privacy policy of the service | About this site
en