Research output per year
Research output per year
Research output
- 1 Research report
-
A DSL for Specifying a Class of Industrial Optimisation Problems
Del Rio Almajano, T., Schreiner, W., Seidl, M., Kutsia, T. & Windsteiger, W., 2025, RISC, JKU, 19 p. (RISC Report Series; vol. 25-12).Research output: Working paper and reports › Research report
Open Access
Activities
- 3 Other talk or presentation
-
InProSSA: Automatising Industrial Optimisation
Del Rio Almajano, T. (Speaker)
17 Nov 2025Activity: Talk or presentation › Other talk or presentation › science-to-science
-
Speeding Up Quantifier Elimination by Machine learning
Del Rio Almajano, T. (Speaker)
16 Jun 2025Activity: Talk or presentation › Other talk or presentation › science-to-science
-
Selfintroduction
Del Rio Almajano, T. (Speaker)
26 May 2025Activity: Talk or presentation › Other talk or presentation › science-to-science