- -

Statistics

RiuNet: Institutional repository of the Polithecnic University of Valencia

Statistics

Total Visits

Views
SAT modulo linear arithmetic for Solving Polynomial Constraints 180

Total Visits Per Month

February 2019 March 2019 April 2019 May 2019 June 2019 July 2019 August 2019
SAT modulo linear arithmetic for Solving Polynomial Constraints 36 16 5 8 10 8 2

File Visits

Views
Borralleras, Lucas, Oliveras, et.al. SAT modulo linear.pdf 306
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 114
China 18
France 17
Germany 15
Spain 6
Poland 3
Greece 2
Italy 2
Canada 1
Netherlands 1

Top cities views

Views
Ashburn 96
Valencia 6
Villeurbanne 6
Beijing 5
Paris 4
Xian 4
Redmond 3
Warsaw 3
Arezzo 2
Balingen 2