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