Statistics for Algorithms and data structures for logic synthesis and verification using Boolean satisfiability
Total visits
| views | |
|---|---|
| Algorithms and data structures for logic synthesis and verification using Boolean satisfiability | 446 |
Total visits per month
| views | |
|---|---|
| August 2024 | 0 |
| September 2024 | 0 |
| October 2024 | 0 |
| November 2024 | 0 |
| December 2024 | 0 |
| January 2025 | 0 |
| February 2025 | 0 |
File Visits
| views | |
|---|---|
| Backes_umn_0130E_13529.pdf | 581 |
Top country views
| views | |
|---|---|
| China | 179 |
| United States | 102 |
| India | 46 |
| Germany | 15 |
| France | 9 |
| United Kingdom | 7 |
| Hong Kong SAR China | 7 |
| Japan | 7 |
| Philippines | 7 |
| Canada | 5 |
| Finland | 4 |
| Ukraine | 4 |
| Ireland | 3 |
| South Korea | 3 |
| Taiwan | 3 |
| Vietnam | 3 |
| AP | 2 |
| Brazil | 2 |
| European Union | 2 |
| Iraq | 2 |
| Iran | 2 |
| Pakistan | 2 |
| Romania | 2 |
| Singapore | 2 |
| United Arab Emirates | 1 |
| Argentina | 1 |
| Belgium | 1 |
| Belarus | 1 |
| Switzerland | 1 |
| Ecuador | 1 |
| Egypt | 1 |
| Spain | 1 |
| Ethiopia | 1 |
| Indonesia | 1 |
| Italy | 1 |
| Lebanon | 1 |
| Luxembourg | 1 |
| Mexico | 1 |
| Malaysia | 1 |
| Nigeria | 1 |
| Norway | 1 |
| Poland | 1 |
| Portugal | 1 |
| Russia | 1 |
| Saudi Arabia | 1 |
| Sweden | 1 |
| Turkey | 1 |
Top city views
| views | |
|---|---|
| Shenzhen | 101 |
| Ashburn | 21 |
| Brookline | 10 |
| Beijing | 9 |
| Bangalore | 6 |
| Minneapolis | 6 |
| Sanya | 5 |
| Antipona | 4 |
| Tianjin | 4 |
| Chengdu | 3 |
| Dublin | 3 |
| Hyderabad | 3 |
| San Jose | 3 |
| Seattle | 3 |
| Secaucus | 3 |
| Shanghai | 3 |
| Thrissur | 3 |
| Tokyo | 3 |
| Baghdad | 2 |
| Central | 2 |
| Changsha | 2 |
| Chennai | 2 |
| College Station | 2 |
| Hefei | 2 |
| Kozhikode | 2 |
| Lagos | 2 |
| Mobile | 2 |
| Piscataway | 2 |
| Pune | 2 |
| Salt Lake City | 2 |
| Singapore | 2 |
| Sunnyvale | 2 |
| Taipei | 2 |
| Toronto | 2 |
| Arlington | 1 |
| Bad Homburg | 1 |
| Barcelona | 1 |
| Beirut | 1 |
| Bengaluru | 1 |
| Beşiktaş | 1 |
| Bonn | 1 |
| Brooklyn | 1 |
| Brussels | 1 |
| Bucuresti | 1 |
| Calgary | 1 |
| Calne | 1 |
| Central District | 1 |
| Chantilly | 1 |
| Chicago | 1 |
| Cincinnati | 1 |
| Cockeysville | 1 |
| Dalian | 1 |
| Dargamitta | 1 |
| Des Moines | 1 |
| Dubai | 1 |
| Flushing | 1 |
| Fremont | 1 |
| Gettysburg | 1 |
| Grottoes | 1 |
| Gurgaon | 1 |
| Guwahati | 1 |
| Haikou | 1 |
| Hanoi | 1 |
| High Wycombe | 1 |
| Horsham | 1 |
| Islamabad | 1 |
| Kansas City | 1 |
| Karachi | 1 |
| Kasaragod | 1 |
| Kiev | 1 |
| Kochi | 1 |
| Kolkata | 1 |
| Kungälv | 1 |
| La Jolla | 1 |
| Lausanne | 1 |
| London | 1 |
| Makiyivka | 1 |
| Malappuram | 1 |
| Mananthavady | 1 |
| Montréal | 1 |
| Mountain View | 1 |
| Mumbai | 1 |
| Navi Mumbai (Reliance Corporate Park) | 1 |
| New York | 1 |
| Newport Beach | 1 |
| Oslo | 1 |
| Pasadena | 1 |
| Penang | 1 |
| Pensacola | 1 |
| Penumantra | 1 |
| Philadelphia | 1 |
| Phoenix | 1 |
| Portland | 1 |
| Quito | 1 |
| Saint Paul | 1 |
| San Mateo | 1 |
| Southend | 1 |
| Staten Island | 1 |
| Stockton | 1 |
| Taytay | 1 |