Statistics for SAT-based answer set programming
Total visits
| views | |
|---|---|
| SAT-based answer set programming | 455 |
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 | |
|---|---|
| LIERLER-DISSERTATION.pdf(legacy) | 173 |
| LIERLER-DISSERTATION.pdf | 75 |
Top country views
| views | |
|---|---|
| United States | 300 |
| China | 94 |
| France | 52 |
| Japan | 25 |
| Netherlands | 20 |
| United Kingdom | 16 |
| South Korea | 13 |
| Germany | 12 |
| Russia | 11 |
| Belarus | 10 |
| Australia | 6 |
| Hong Kong SAR China | 4 |
| Italy | 4 |
| Ukraine | 4 |
| Belgium | 3 |
| Canada | 3 |
| Czechia | 3 |
| Egypt | 3 |
| Spain | 3 |
| Austria | 2 |
| Bolivia | 2 |
| European Union | 2 |
| Norway | 2 |
| Romania | 2 |
| Brazil | 1 |
| Colombia | 1 |
| Denmark | 1 |
| Algeria | 1 |
| India | 1 |
| Iran | 1 |
| Lithuania | 1 |
| Malaysia | 1 |
| Poland | 1 |
| Sweden | 1 |
| Singapore | 1 |
| Thailand | 1 |
| Turkey | 1 |
Top city views
| views | |
|---|---|
| Ashburn | 53 |
| Miami | 44 |
| Beijing | 42 |
| Palo Alto | 19 |
| Sunnyvale | 17 |
| Beverly Hills | 16 |
| Seoul | 11 |
| Santa Clara | 10 |
| Houston | 7 |
| Milton Keynes | 7 |
| Fort Lauderdale | 6 |
| Guangzhou | 6 |
| Redmond | 6 |
| Tokyo | 6 |
| Zhengzhou | 6 |
| Shanghai | 5 |
| Amsterdam | 4 |
| Tianjin | 4 |
| Créteil | 3 |
| Morgantown | 3 |
| Point Pleasant | 3 |
| San Francisco | 3 |
| Alexandria | 2 |
| Berlin | 2 |
| Brussels | 2 |
| Council Bluffs | 2 |
| Dallas | 2 |
| Des Moines | 2 |
| Jacksonville | 2 |
| Le Raincy | 2 |
| Midvale | 2 |
| New York | 2 |
| Omaha | 2 |
| Oslo | 2 |
| Richardson | 2 |
| Shenzhen | 2 |
| South Deerfield | 2 |
| Sydney | 2 |
| Troy | 2 |
| Valencia | 2 |
| Woodbridge | 2 |
| A Coruña | 1 |
| Abbotsford | 1 |
| Al Mansurah | 1 |
| Alamo | 1 |
| Alkmaar | 1 |
| Annaba | 1 |
| Annerley | 1 |
| Bangrak | 1 |
| Bethesda | 1 |
| Beuningen | 1 |
| Brno | 1 |
| Bucharest | 1 |
| Cardiff | 1 |
| Central | 1 |
| Chengdu | 1 |
| Chongqing | 1 |
| Cochabamba | 1 |
| Columbus | 1 |
| Coral Gables | 1 |
| Culver City | 1 |
| Dayton | 1 |
| Golden | 1 |
| Halle | 1 |
| Idaho Falls | 1 |
| Izmir | 1 |
| Kakkanad | 1 |
| Kyiv | 1 |
| Lamorlaye | 1 |
| Leuven | 1 |
| Los Angeles | 1 |
| Lubbock | 1 |
| Lvov | 1 |
| Madison | 1 |
| Manchester | 1 |
| Medellín | 1 |
| Melbourne | 1 |
| Milan | 1 |
| Montpellier | 1 |
| Moscow | 1 |
| Nanchang | 1 |
| Nuremberg | 1 |
| Olalla | 1 |
| Pelham | 1 |
| Petaling Jaya | 1 |
| Philadelphia | 1 |
| Plano | 1 |
| Poitiers | 1 |
| Provo | 1 |
| Quillacollo | 1 |
| Redwood City | 1 |
| Richmond | 1 |
| Rio Rancho | 1 |
| Round Rock | 1 |
| San Marcos | 1 |
| Schweinfurt | 1 |
| Seattle | 1 |
| Singapore | 1 |
| South Ozone Park | 1 |
| Spotsylvania | 1 |