Estadísticas
RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia
JavaScript is disabled for your browser. Some features of this site may not work without it.
Buscar en RiuNet
Listar
Mi cuenta
Estadísticas
Ayuda RiuNet
Admin. UPV
Estadísticas
Número total de visitas
| Visualizaciones | |
|---|---|
| SAT modulo linear arithmetic for Solving Polynomial Constraints | 330 |
Visitas al mes
| agosto 2024 | septiembre 2024 | octubre 2024 | noviembre 2024 | diciembre 2024 | enero 2025 | febrero 2025 | |
|---|---|---|---|---|---|---|---|
| SAT modulo linear arithmetic for Solving Polynomial Constraints | 0 | 0 | 0 | 1 | 0 | 12 | 1 |
Visitas al fichero
| Visualizaciones | |
|---|---|
| Borralleras, Lucas, Oliveras, et.al. SAT modulo linear.pdf | 818 |
| 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 |
Países con más visualizaciones
| Visualizaciones | |
|---|---|
| Estados Unidos | 198 |
| China | 37 |
| Alemania | 28 |
| Francia | 21 |
| España | 17 |
| Irlanda | 6 |
| India | 3 |
| Polonia | 3 |
| Canadá | 2 |
| Finlandia | 2 |
Ciudades con más visualizaciones
| Visualizaciones | |
|---|---|
| Ashburn | 118 |
| Valencia | 13 |
| Hangzhou | 11 |
| San Mateo | 10 |
| Alameda | 6 |
| Beijing | 6 |
| Dublin | 6 |
| Mountain View | 6 |
| Villeurbanne | 6 |
| Louisville | 5 |
Universitat Politècnica de València. Unidad de Documentación Científica de la Biblioteca (+34) 96 387 70 85 · RiuNet@bib.upv.es
El contenido de este sitio está bajo una licencia Creative Commons Reconocimiento – No Comercial – Sin Obra Derivada (by-nc-nd), salvo que se indique lo contrario.
Los metadatos de este sitio están bajo una licencia Dominio Público.
