Total Visits

Views
Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers184

Total Visits Per Month

December 2020January 2021February 2021March 2021April 2021May 2021June 2021
Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers61231470

File Visits

Views
007814.pdf1

Top country views

Views
United States114
Germany30
United Kingdom3
Sweden3
Spain2
India2
Italy2
Ukraine2
Poland1

Top cities views

Views
Woodbridge33
Fairfield31
Kiez22
Wilmington12
Cambridge11
Ann Arbor9
Ilmenau6
Seattle5
Houston3
Jacksonville3