- -

Statistics

RiuNet: Institutional repository of the Polithecnic University of Valencia

Statistics

Total Visits

Views
SAT modulo linear arithmetic for Solving Polynomial Constraints 164

Total Visits Per Month

December 2018 January 2019 February 2019 March 2019 April 2019 May 2019 June 2019
SAT modulo linear arithmetic for Solving Polynomial Constraints 0 28 36 16 5 8 4

File Visits

Views
Borralleras, Lucas, Oliveras, et.al. SAT modulo linear.pdf 270
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
1

Top country views

Views
United States 104
Germany 15
France 15
China 14
Spain 6
Poland 3
Greece 2
Italy 2
Canada 1
Netherlands 1

Top cities views

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