Statistics for Strategies for SAT-Based Formal Verification
Total visits
views | |
---|---|
Strategies for SAT-Based Formal Verification | 737 |
Total visits per month
views | |
---|---|
November 2023 | 2 |
December 2023 | 0 |
January 2024 | 0 |
February 2024 | 0 |
March 2024 | 0 |
April 2024 | 0 |
May 2024 | 0 |
File Visits
views | |
---|---|
vimjam_phd_dissertation.pdf | 269 |
Top country views
views | |
---|---|
United States | 244 |
China | 120 |
Germany | 71 |
France | 64 |
United Kingdom | 39 |
India | 34 |
Russia | 31 |
Taiwan | 13 |
Poland | 10 |
Canada | 9 |
South Korea | 9 |
Romania | 8 |
Israel | 7 |
Hong Kong SAR China | 6 |
Spain | 5 |
Japan | 5 |
Ireland | 4 |
Costa Rica | 3 |
Italy | 3 |
Netherlands | 3 |
Singapore | 3 |
Vietnam | 3 |
Australia | 2 |
European Union | 2 |
Finland | 2 |
Moldova | 2 |
Malaysia | 2 |
New Zealand | 2 |
Sweden | 2 |
Turkey | 2 |
Uruguay | 2 |
Austria | 1 |
Bosnia & Herzegovina | 1 |
Bangladesh | 1 |
Bulgaria | 1 |
Brazil | 1 |
Belarus | 1 |
Switzerland | 1 |
Chile | 1 |
Estonia | 1 |
Greece | 1 |
Indonesia | 1 |
Iran | 1 |
Iceland | 1 |
Mexico | 1 |
Pakistan | 1 |
Serbia | 1 |
Top city views
views | |
---|---|
Beijing | 55 |
Ashburn | 47 |
Reston | 32 |
Hangzhou | 19 |
Sputnik | 14 |
Southend | 13 |
Noginsk | 11 |
Boardman | 6 |
Nuremberg | 6 |
San Jose | 6 |
Brooklyn | 5 |
Montreal | 5 |
Old Bridge | 5 |
Redwood City | 5 |
Shenzhen | 5 |
Warsaw | 5 |
Bangalore | 4 |
Bengaluru | 4 |
Central | 4 |
Chicago | 4 |
Fremont | 4 |
Mountain View | 4 |
New Delhi | 4 |
Shanghai | 4 |
Taipei | 4 |
Tianjin | 4 |
Ann Arbor | 3 |
Balingen | 3 |
Blacksburg | 3 |
Chengde | 3 |
Frankfurt am Main | 3 |
Hanoi | 3 |
Kaiserslautern | 3 |
Los Angeles | 3 |
Minneapolis | 3 |
Mumbai | 3 |
Nürnberg | 3 |
Pittsburgh | 3 |
Seongnam | 3 |
Singapore | 3 |
Tokyo | 3 |
Alexandria | 2 |
Austin | 2 |
Beaverton | 2 |
Bremen | 2 |
Brighton | 2 |
Cambridge | 2 |
Castro Valley | 2 |
Catonsville | 2 |
Chongqing | 2 |
Dallas | 2 |
Dublin | 2 |
Eindhoven | 2 |
Herzliya | 2 |
Hillsboro | 2 |
Houston | 2 |
Kempen | 2 |
Kharagpur | 2 |
Montevideo | 2 |
Nanjin | 2 |
New Haven | 2 |
Oradea | 2 |
Paris | 2 |
Petaling Jaya | 2 |
Saint Paul | 2 |
San Mateo | 2 |
Santa Clara | 2 |
Santa Cruz | 2 |
Stanford | 2 |
Tel Aviv | 2 |
Timișoara | 2 |
Walnut | 2 |
Zhengzhou | 2 |
Abilene | 1 |
Ames | 1 |
Ankeng | 1 |
Athens | 1 |
Atlanta | 1 |
Augsburg | 1 |
Basingstoke | 1 |
Bellevue | 1 |
Berlin | 1 |
Bhilai | 1 |
Bristol | 1 |
Bristow | 1 |
Bucharest | 1 |
Burnaby | 1 |
Chandler | 1 |
Chelmsford | 1 |
Chennai | 1 |
Christchurch | 1 |
Clarksburg | 1 |
Costa Mesa | 1 |
Coventry | 1 |
Crowthorne | 1 |
Cypress | 1 |
Daejeon | 1 |
Delhi | 1 |
Des Moines | 1 |
Dhaka | 1 |