| Visualizaciones | |
|---|---|
| A Bottom-Up Algorithm for Solving #2Sat | 217 |
| diciembre 2025 | enero 2026 | febrero 2026 | marzo 2026 | abril 2026 | mayo 2026 | junio 2026 | |
|---|---|---|---|---|---|---|---|
| A Bottom-Up Algorithm for Solving #2Sat | 3 | 7 | 9 | 8 | 41 | 65 | 4 |
| Visualizaciones | |
|---|---|
| 2019-slalm.pdf | 133 |
| Visualizaciones | |
|---|---|
| Estados Unidos | 40 |
| Canadá | 25 |
| Reino Unido | 21 |
| Paquistán | 21 |
| Japón | 20 |
| Rusia | 19 |
| Ucrania | 11 |
| China | 9 |
| México | 5 |
| Brasil | 3 |
| Visualizaciones | |
|---|---|
| Ottawa | 22 |
| Gulberg | 21 |
| Moscow | 10 |
| Houston | 5 |
| Beijing | 4 |
| Milwaukee | 4 |
| Woodbridge | 4 |
| Cambridge | 3 |
| Mexico | 3 |
| Palo Alto | 3 |