Total Visits

Views
A Max-SAT Solver with Lazy Data Structures225

Total Visits Per Month

April 2022May 2022June 2022July 2022August 2022September 2022October 2022
A Max-SAT Solver with Lazy Data Structures05871041

File Visits

Views
006637.pdf1

Top country views

Views
United States135
Germany29
Spain8
Sweden8
China5
Italy3
United Kingdom2
Ukraine2
Canada1
South Korea1

Top cities views

Views
Woodbridge35
Fairfield23
Kiez22
Secaucus17
Cambridge15
Wilmington11
Houston7
Ilmenau6
San Francisco6
Seattle5