- -

Statistics

RiuNet: Institutional repository of the Polithecnic University of Valencia

Statistics

Total Visits

Views
SAT modulo linear arithmetic for Solving Polynomial Constraints 248

Total Visits Per Month

April 2021 May 2021 June 2021 July 2021 August 2021 September 2021 October 2021
SAT modulo linear arithmetic for Solving Polynomial Constraints 0 2 1 2 2 0 0

File Visits

Views
Borralleras, Lucas, Oliveras, et.al. SAT modulo linear.pdf 554
Borralleras, Lucas, Oliveras, et.al. SAT modulo linear.pdf.jpg 36
Lucas - SAT modulo linear arithmetic for Solving Polynomial Constraints.pdf.jpg 14
Lucas - SAT modulo linear arithmetic for Solving Polynomial Constraints.pdf 3

Top country views

Views
United States 154
Germany 23
China 20
France 20
Spain 13
India 3
Poland 3
Canada 2
Finland 2
Greece 2

Top cities views

Views
Ashburn 116
Valencia 11
Villeurbanne 6
Beijing 5
Alameda 4
Paris 4
Xian 4
Bhiwadi 3
Redmond 3
Warsaw 3