Statistics
Total Visits
| Views | |
|---|---|
| SAT Modulo Linear Arithmetic for Solving Polynomial(legacy) | 1456 |
| SAT Modulo Linear Arithmetic for Solving Polynomial | 138 |
Total Visits Per Month
| December 2025 | January 2026 | February 2026 | March 2026 | April 2026 | May 2026 | June 2026 | |
|---|---|---|---|---|---|---|---|
| SAT Modulo Linear Arithmetic for Solving Polynomial | 5 | 9 | 3 | 4 | 11 | 20 | 1 |
File Visits
| Views | |
|---|---|
| artconlli_a2012_borralleras_cristina_sat_modulo.pdf(legacy) | 966 |
| artconlli_a2012_borralleras_cristina_sat_modulo.pdf | 17 |
| artconlli_a2012_borralleras_cristina_sat_modulo.pdf.txt(legacy) | 3 |
| artconlli_a2012_borralleras_cristina_sat_modulo.pdf.txt(legacy) | 2 |
Top country views
| Views | |
|---|---|
| United States | 670 |
| Sweden | 106 |
| China | 85 |
| Germany | 84 |
| France | 79 |
| Netherlands | 54 |
| Ukraine | 45 |
| Canada | 26 |
| Spain | 26 |
| United Kingdom | 23 |
Top cities views
| Views | |
|---|---|
| Mountain View | 140 |
| Sunnyvale | 69 |
| Ashburn | 60 |
| Beijing | 60 |
| Oakland | 34 |
| Seattle | 34 |
| Ann Arbor | 31 |
| Des Moines | 27 |
| Fairfield | 24 |
| Toronto | 21 |