Statistics

Total Visits

Views
Using Sat Solvers for Synchronization Issues in Partial Deterministic Automata 65

Total Visits per Month

November 2023 December 2023 January 2024 February 2024 March 2024 April 2024 May 2024
Using Sat Solvers for Synchronization Issues in Partial Deterministic Automata 2 7 1 1 0 4 2

File Downloads

Views
2-s2.0-85076254945.pdf 141

Top Country Views

Views
United States 34
Russia 17
Vietnam 3
Armenia 2
Spain 1
Finland 1
France 1
United Kingdom 1
Moldova 1
Sweden 1

Top City Views

Views
Moscow 12
Ashburn 8
San Mateo 6
Hanoi 3
Andover 2
Des Moines 2
Edinburgh 1
Madrid 1
Novosibirsk 1
Ryazan 1