Total Visits

Views
Solving Over-Constrained Problems with SAT Technology123

Total Visits Per Month

October 2019November 2019December 2019January 2020February 2020March 2020April 2020
Solving Over-Constrained Problems with SAT Technology9766780

File Visits

Views
007826.pdf2

Top country views

Views
United States73
Germany26
Italy3
China2
Sweden2
Spain1
United Kingdom1

Top cities views

Views
Woodbridge28
Kiez20
Fairfield16
Houston9
Cambridge8
Ilmenau5
Ann Arbor4
Seattle3
Shenzhen2
Wilmington2