Statistics for Towards a Theoretical Understanding of the Power of Restart in SAT solvers
Total visits
views | |
---|---|
Towards a Theoretical Understanding of the Power of Restart in SAT solvers | 59 |
Total visits per month
views | |
---|---|
January 2025 | 2 |
February 2025 | 0 |
March 2025 | 0 |
April 2025 | 0 |
May 2025 | 0 |
June 2025 | 3 |
July 2025 | 0 |
File Visits
views | |
---|---|
Li_Chunxiao.pdf(legacy) | 73 |
Li_Chunxiao.pdf | 50 |
Top country views
views | |
---|---|
United States | 25 |
Ireland | 10 |
Singapore | 6 |
Canada | 5 |
China | 2 |
Finland | 2 |
Russia | 2 |
Indonesia | 1 |
India | 1 |
South Korea | 1 |
Top city views
views | |
---|---|
Dublin | 10 |
Ashburn | 5 |
Springfield | 4 |
Waterloo | 4 |
Sandston | 3 |
Boardman | 2 |
Helsinki | 2 |
Singapore | 2 |
Forest City | 1 |
Fort Worth | 1 |
Jakarta | 1 |
Kitchener | 1 |
Kolkata | 1 |
Prineville | 1 |
Shenzhen | 1 |
Spartanburg | 1 |
Washington | 1 |