Max Ostrowski
From MaRDI portal
Person:2326702
Available identifiers
zbMath Open ostrowski.maxMaRDI QIDQ2326702
List of research outcomes
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 |
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 |
https://portal.mardi4nfdi.de/entity/Q2909136 | 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
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Max Ostrowski