Statistics for Novel Value Ordering Heuristics Using Non-Linear Optimization In Boolean Satisfiability
Total visits
views | |
---|---|
Novel Value Ordering Heuristics Using Non-Linear Optimization In Boolean Satisfiability | 62 |
Total visits per month
views | |
---|---|
April 2024 | 9 |
May 2024 | 6 |
June 2024 | 11 |
July 2024 | 9 |
August 2024 | 0 |
September 2024 | 0 |
October 2024 | 0 |
File Visits
views | |
---|---|
Pisanov_Vladimir.pdf(legacy) | 33 |
Pisanov_Vladimir.pdf | 10 |
Top country views
views | |
---|---|
United States | 18 |
Ireland | 13 |
Singapore | 8 |
Sweden | 5 |
Japan | 4 |
China | 2 |
Germany | 2 |
Hong Kong SAR China | 2 |
Poland | 2 |
Russia | 2 |
United Kingdom | 1 |
Indonesia | 1 |
South Korea | 1 |
Taiwan | 1 |
Top city views
views | |
---|---|
Dublin | 11 |
Singapore | 7 |
Stockholm | 5 |
Tokyo | 4 |
Boardman | 3 |
Coeur d'Alene | 2 |
Hong Kong | 2 |
Las Vegas | 2 |
Santa Clara | 2 |
Shanghai | 2 |
Witzenhausen | 2 |
Council Bluffs | 1 |
Everett | 1 |
Fort Worth | 1 |
Jakarta | 1 |
Krakow | 1 |
Manchester | 1 |
Prineville | 1 |
Springfield | 1 |
Starachowice | 1 |
Taoyuan District | 1 |