Statistics for Prioritized Unit Propagation and Extended Resolution Techniques for SAT Solvers

Total visits

views
Prioritized Unit Propagation and Extended Resolution Techniques for SAT Solvers 156

Total visits per month

views
January 2025 3
February 2025 0
March 2025 1
April 2025 4
May 2025 3
June 2025 2
July 2025 0

File Visits

views
Chung_Jonathan.pdf 2004

Top country views

views
United States 36
Canada 34
Netherlands 13
Ireland 11
Singapore 9
China 4
Germany 4
Hong Kong SAR China 4
Spain 3
Sweden 3
Russia 2
Taiwan 2
France 1
Hungary 1
Indonesia 1
South Korea 1

Top city views

views
Waterloo 25
Dublin 11
Singapore 7
Delft 6
Prineville 6
Springfield 6
Tokyo 5
Markham 4
Rotterdam 4
Sandston 4
Winston-Salem 4
Hong Kong 3
Amsterdam 2
Ashburn 2
Coeur d'Alene 2
Karlsruhe 2
Shanghai 2
Terrassa 2
Toronto 2
Witzenhausen 2
Bellaterra 1
Boardman 1
Forest City 1
Jakarta 1
Jiaxing 1
Los Angeles 1
New Albany 1
Nice 1
North York 1
Stouffville 1
Szarvas 1
The Hague 1
Thornhill 1
Washington 1