Statistics for "Longer-Term Memory in Clause Weighting Local Search for SAT"

Title:

Longer-Term Memory in Clause Weighting Local Search for SAT

Author(s):

Ferreira, Valnir;Thornton, John

Date Last Updated:

Tuesday, March 29, 2005

Statistics are for the period between Thursday, February 1, 2007 and Saturday, April 30, 2016

Set a new date range

Start Date
End Date

Overall Statistics

Brief Views Full Views Downloads Click Throughs
364 0 170 66

Set IP address range

Geographic Statistics

Country Brief Views Full Views Downloads Click Throughs
United States 223 0 96 37
Australia 74 0 20 11
China 21 0 20 1
France 21 0 13 11
Netherlands 4 0 1 3
United Kingdom 3 0 3 1
Italy 3 0 1 0
Russian Federation 3 0 1 0
Unknown 2 0 4 1
Japan 2 0 1 0
Korea, Republic of 2 0 1 0
Austria 2 0 2 0
Germany 1 0 1 0
Sweden 1 0 1 0
Singapore 1 0 1 0
Europe 1 0 0 0
Spain 1 0 1 0
Poland 0 0 1 0
Peru 0 0 1 0
Indonesia 0 0 1 0

Reorder geographical statistics

Limit results to top countries

Monthly statistics for the last twelve months

Month Brief Views Full Views Downloads Click Throughs
Apr 2016 2 0 4 0
Mar 2016 4 0 3 2
Feb 2016 7 0 4 0
Jan 2016 6 0 3 0
Dec 2015 7 0 6 1
Nov 2015 8 0 7 1
Oct 2015 11 0 5 0
Sep 2015 6 0 4 0
Aug 2015 11 0 5 1
Jul 2015 10 0 7 1
Jun 2015 7 0 1 0
May 2015 12 0 5 1
Apr 2015 7 0 5 1
Total 98 0 59 8

Definition of Terms

  • Brief View: Default publication record
  • Full View: Expanded publication details
  • Download: Attached file which has been opened
  • Click Through: Link to publisher's website which has been clicked