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 | |
|---|---|
| January 2025 | 0 |
| February 2025 | 0 |
| March 2025 | 0 |
| April 2025 | 0 |
| May 2025 | 0 |
| June 2025 | 0 |
| July 2025 | 0 |
File Visits
| views | |
|---|---|
| Pisanov_Vladimir.pdf | 45 |
| Pisanov_Vladimir.pdf(legacy) | 33 |
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 |