Statistics for New Techniques for Static Symmetry Breaking in Many-Sorted Finite Model Finding

Total visits

views
New Techniques for Static Symmetry Breaking in Many-Sorted Finite Model Finding 57

Total visits per month

views
January 2025 0
February 2025 0
March 2025 0
April 2025 0
May 2025 2
June 2025 0
July 2025 0

File Visits

views
new_techniques_accepted.pdf(legacy) 99
new_techniques_accepted.pdf 67

Top country views

views
Canada 23
United States 11
Ireland 5
Singapore 5
China 4
Hong Kong SAR China 4
Russia 2
Indonesia 1
South Korea 1
Netherlands 1

Top city views

views
Waterloo 23
Dublin 5
Beijing 3
Hong Kong 3
Singapore 3
Ashburn 2
Boardman 2
Amsterdam 1
Chicago 1
Jakarta 1
Santa Clara 1
Zibo 1