Statistics for Machine Learning for SAT Solvers
Total visits
| views | |
|---|---|
| Machine Learning for SAT Solvers | 138 |
Total visits per month
| views | |
|---|---|
| January 2025 | 8 |
| February 2025 | 8 |
| March 2025 | 0 |
| April 2025 | 1 |
| May 2025 | 5 |
| June 2025 | 1 |
| July 2025 | 0 |
File Visits
| views | |
|---|---|
| Liang_Jia.pdf | 329 |
| Liang_Jia.pdf(legacy) | 155 |
Top country views
| views | |
|---|---|
| Germany | 31 |
| United States | 26 |
| China | 14 |
| Ireland | 10 |
| Singapore | 9 |
| Japan | 6 |
| Canada | 3 |
| Chile | 3 |
| Spain | 3 |
| Netherlands | 3 |
| United Kingdom | 2 |
| Hong Kong SAR China | 2 |
| Hungary | 2 |
| South Korea | 2 |
| Lebanon | 2 |
| Russia | 2 |
| Vietnam | 2 |
| Austria | 1 |
| Finland | 1 |
| Indonesia | 1 |
| India | 1 |
| Italy | 1 |
| Mexico | 1 |
| Malaysia | 1 |
| Poland | 1 |
| Romania | 1 |
| Saudi Arabia | 1 |
| Tunisia | 1 |
| Taiwan | 1 |
Top city views
| views | |
|---|---|
| Frankfurt am Main | 24 |
| Dublin | 10 |
| Singapore | 7 |
| Ashburn | 6 |
| Tokyo | 5 |
| Shanghai | 4 |
| Valparaíso | 3 |
| Budapest | 2 |
| Fremont | 2 |
| Girona | 2 |
| Las Cruces | 2 |
| Rotterdam | 2 |
| Silver Spring | 2 |
| Washington | 2 |
| Amsterdam | 1 |
| Beijing | 1 |
| Beirut | 1 |
| Belfast | 1 |
| Bengaluru | 1 |
| Brooklyn | 1 |
| Cambridge | 1 |
| Changsha | 1 |
| Golden | 1 |
| Hanoi | 1 |
| Helsinki | 1 |
| Hong Kong | 1 |
| Iasi | 1 |
| Jakarta | 1 |
| Jeddah | 1 |
| Kuching | 1 |
| Los Altos | 1 |
| Magdeburg | 1 |
| Milan | 1 |
| Milton | 1 |
| Munich | 1 |
| Nagoya | 1 |
| Palm Bay | 1 |
| Prineville | 1 |
| Sandston | 1 |
| Santa Clara | 1 |
| Schliersee | 1 |
| Simancas | 1 |
| Stanford | 1 |
| Straubing | 1 |
| Stuttgart | 1 |
| Taipei | 1 |
| Torreón | 1 |
| Ulm | 1 |
| Vancouver | 1 |
| Vienna | 1 |
| Warsaw | 1 |
| Waterloo | 1 |
| Witzenhausen | 1 |
| Wuhan | 1 |