Statistics for "Tie Breaking in Clause Weighting Local Search for SAT"
Title:
Tie Breaking in Clause Weighting Local Search for SAT
Author(s):
Ferreira, Valnir;Thornton, John
Date Last Updated:
Wednesday, March 15, 2006
Statistics are for the period between Thursday, February 1, 2007 and Sunday, May 26, 2013
Overall Statistics
| Brief Views | Full Views | Downloads | Click Throughs |
|---|---|---|---|
| 170 | 0 | 72 | 38 |
Geographic Statistics
| Country | Brief Views | Full Views | Downloads | Click Throughs |
|---|---|---|---|---|
 United States |
108 | 0 | 36 | 29 |
 Australia |
49 | 0 | 20 | 7 |
 China |
10 | 0 | 3 | 1 |
 Japan |
2 | 0 | 1 | 0 |
 United Kingdom |
1 | 0 | 1 | 0 |
 Singapore |
1 | 0 | 1 | 0 |
 Russian Federation |
1 | 0 | 2 | 0 |
 Germany |
1 | 0 | 1 | 0 |
 Iran, Islamic Republic of |
0 | 0 | 2 | 0 |
 India |
0 | 0 | 1 | 0 |
 France |
0 | 0 | 2 | 0 |
 Romania |
0 | 0 | 1 | 0 |
 Canada |
0 | 0 | 1 | 0 |
 Netherlands |
0 | 0 | 1 | 0 |
Monthly statistics for the last twelve months
| Month | Brief Views | Full Views | Downloads | Click Throughs |
|---|---|---|---|---|
| May 2013 | 5 | 0 | 1 | 0 |
| Apr 2013 | 5 | 0 | 2 | 0 |
| Mar 2013 | 8 | 0 | 0 | 0 |
| Feb 2013 | 6 | 0 | 0 | 0 |
| Jan 2013 | 9 | 0 | 2 | 1 |
| Dec 2012 | 5 | 0 | 0 | 0 |
| Nov 2012 | 4 | 0 | 0 | 0 |
| Oct 2012 | 0 | 0 | 0 | 0 |
| Sep 2012 | 2 | 0 | 1 | 0 |
| Aug 2012 | 2 | 0 | 0 | 0 |
| Jul 2012 | 2 | 0 | 5 | 4 |
| Jun 2012 | 5 | 0 | 1 | 0 |
| May 2012 | 1 | 0 | 1 | 1 |
| Total | 54 | 0 | 13 | 6 |
Definition of Terms
Footer information
Back to top