Statistics for "Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving"
Title:
Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving
Author(s):
Lin, Han;Su, Kaile
Date Last Updated:
Thursday, March 6, 2008
Statistics are for the period between Thursday, February 1, 2007 and Friday, May 24, 2013
Overall Statistics
| Brief Views | Full Views | Downloads | Click Throughs |
|---|---|---|---|
| 138 | 0 | 0 | 67 |
Geographic Statistics
| Country | Brief Views | Full Views | Downloads | Click Throughs |
|---|---|---|---|---|
United States |
83 | 0 | 0 | 49 |
Australia |
42 | 0 | 0 | 13 |
China |
12 | 0 | 0 | 2 |
United Kingdom |
1 | 0 | 0 | 0 |
Germany |
1 | 0 | 0 | 0 |
Russian Federation |
1 | 0 | 0 | 0 |
Monthly statistics for the last twelve months
| Month | Brief Views | Full Views | Downloads | Click Throughs |
|---|---|---|---|---|
| May 2013 | 3 | 0 | 0 | 0 |
| Apr 2013 | 7 | 0 | 0 | 0 |
| Mar 2013 | 6 | 0 | 0 | 0 |
| Feb 2013 | 6 | 0 | 0 | 0 |
| Jan 2013 | 7 | 0 | 0 | 0 |
| Dec 2012 | 5 | 0 | 0 | 2 |
| Nov 2012 | 2 | 0 | 0 | 0 |
| Oct 2012 | 1 | 0 | 0 | 0 |
| Sep 2012 | 3 | 0 | 0 | 0 |
| Aug 2012 | 3 | 0 | 0 | 2 |
| Jul 2012 | 2 | 0 | 0 | 2 |
| Jun 2012 | 2 | 0 | 0 | 2 |
| May 2012 | 1 | 0 | 0 | 1 |
| Total | 48 | 0 | 0 | 9 |
United States
Australia
China
United Kingdom
Germany
Russian Federation
Back to top