Statistics for "Towards an Efficient SAT Encoding for Temporal Reasoning"
Title:
Towards an Efficient SAT Encoding for Temporal Reasoning
Author(s):
Pham, Duc Nghia;Thornton, John;Sattar, Abdul
Date Last Updated:
Friday, March 9, 2007
Statistics are for the period between Thursday, February 1, 2007 and Friday, May 24, 2013
Overall Statistics
| Brief Views | Full Views | Downloads | Click Throughs |
|---|---|---|---|
| 195 | 0 | 99 | 44 |
Geographic Statistics
| Country | Brief Views | Full Views | Downloads | Click Throughs |
|---|---|---|---|---|
 United States |
126 | 0 | 49 | 37 |
 Australia |
52 | 0 | 16 | 5 |
 China |
9 | 0 | 12 | 1 |
 Germany |
2 | 0 | 6 | 0 |
 France |
2 | 0 | 1 | 0 |
 United Kingdom |
1 | 0 | 3 | 0 |
 Japan |
1 | 0 | 1 | 0 |
 Singapore |
1 | 0 | 2 | 0 |
 Russian Federation |
1 | 0 | 1 | 0 |
 Finland |
1 | 0 | 0 | 0 |
 Iran, Islamic Republic of |
1 | 0 | 1 | 1 |
 India |
0 | 0 | 1 | 0 |
 Spain |
0 | 0 | 1 | 0 |
 Israel |
0 | 0 | 1 | 0 |
 Canada |
0 | 0 | 1 | 0 |
 Indonesia |
0 | 0 | 1 | 0 |
 Portugal |
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 | 4 | 0 | 1 | 0 |
| Apr 2013 | 3 | 0 | 1 | 0 |
| Mar 2013 | 5 | 0 | 0 | 0 |
| Feb 2013 | 7 | 0 | 1 | 0 |
| Jan 2013 | 11 | 0 | 2 | 1 |
| Dec 2012 | 7 | 0 | 0 | 0 |
| Nov 2012 | 4 | 0 | 0 | 0 |
| Oct 2012 | 2 | 0 | 0 | 0 |
| Sep 2012 | 2 | 0 | 1 | 0 |
| Aug 2012 | 2 | 0 | 1 | 2 |
| Jul 2012 | 2 | 0 | 1 | 2 |
| Jun 2012 | 4 | 0 | 2 | 1 |
| May 2012 | 1 | 0 | 1 | 1 |
| Total | 54 | 0 | 11 | 7 |
Definition of Terms
Footer information
Back to top