Total Visits

Views
A Max-SAT Solver with Lazy Data Structures181

Total Visits Per Month

July 2021August 2021September 2021October 2021November 2021December 2021January 2022
A Max-SAT Solver with Lazy Data Structures0007224

File Visits

Views
006637.pdf1

Top country views

Views
United States108
Germany29
China4
Spain4
Sweden4
Italy3
United Kingdom2
Ukraine2
Canada1
South Korea1

Top cities views

Views
Woodbridge35
Fairfield22
Kiez22
Cambridge13
Wilmington9
Houston7
Ilmenau6
San Francisco6
Ann Arbor4
Seattle4