Max Ostrowski
From MaRDI portal
Person:2326702
Available identifiers
zbMath Open ostrowski.maxMaRDI QIDQ2326702
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 |
|---|---|---|
| Train scheduling with hybrid answer set programming | 2021-09-03 | Paper |
| Train scheduling with hybrid ASP | 2019-10-10 | Paper |
| \textit{clingcon}: the next generation | 2017-11-09 | Paper |
| Clingo goes linear constraints over reals and integers | 2017-11-08 | Paper |
| aspartame: solving constraint satisfaction problems with answer set programming | 2015-11-04 | Paper |
| ASP modulo CSP: The clingcon system. | 2014-02-25 | Paper |
| ASP modulo CSP: the clingcon system | 2013-03-13 | Paper |
| Constraint Answer Set Solving | 2012-11-13 | Paper |
| Evolution of ontologies using ASP | 2012-08-29 | Paper |
| Automatic network reconstruction using ASP | 2011-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3011296 | 2011-06-28 | Paper |
| Engineering an Incremental ASP Solver | 2009-01-22 | Paper |
Research outcomes over time
This page was built for person: Max Ostrowski
