Philipp Wanko
From MaRDI portal
Person:1730739
Available identifiers
zbMath Open wanko.philippMaRDI QIDQ1730739
List of research outcomes
| This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| A tutorial on hybrid answer set solving with \textit{clingo} | 2022-07-01 | Paper |
| Train scheduling with hybrid answer set programming | 2021-09-03 | Paper |
| Computing Diverse Optimal Stable Models | 2019-10-24 | Paper |
| Train scheduling with hybrid ASP | 2019-10-10 | Paper |
| Hybrid metabolic network completion | 2019-09-19 | Paper |
| \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming | 2019-03-06 | Paper |
| Clingo goes linear constraints over reals and integers | 2017-11-08 | Paper |
| Hybrid metabolic network completion | 2017-09-05 | Paper |
Research outcomes over time
This page was built for person: Philipp Wanko