The Libraries will be performing routine maintenance on UWSpace on October 20th, 2025, from 10:00-10:30 pm ET. UWSpace will be unavailable during this time. Service should resume by 10:30 pm ET.

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 160

Total visits per month

views
April 2025 4
May 2025 3
June 2025 2
July 2025 0
August 2025 1
September 2025 0
October 2025 3

File Visits

views
Chung_Jonathan.pdf 2052

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