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 | 29486 |
Item views Per Month
| July 2022 | August 2022 | September 2022 | October 2022 | November 2022 | December 2022 | January 2023 | |
|---|---|---|---|---|---|---|---|
| Incremental Satisfiability Solving and its Applications | 0 | 205 | 395 | 761 | 576 | 160 | 136 |
File Visits
| Views | |
|---|---|
| isbn9789526055695.png | 1706 |
| isbn9789526055695.pdf | 689 |
| publication2.pdf | 258 |
| errata_of_P1_PIV.pdf | 155 |
Top viewing countries
| Views | |
|---|---|
| Finland | 12523 |
| United States | 5250 |
| United Kingdom | 1878 |
| China | 1468 |
| Netherlands | 1210 |
| France | 861 |
| Germany | 750 |
| Russia | 547 |
| Sweden | 483 |
| Greece | 232 |
Top viewing cities
| Views | |
|---|---|
| Helsinki | 656 |
| Falls Church | 554 |
| Shenzhen | 493 |
| Houston | 455 |
| Beijing | 343 |
| Zhengzhou | 303 |
| Ann Arbor | 287 |
| London | 248 |
| Boardman | 221 |
| Vantaa | 211 |
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