Travelled to:1 × Austria
1 × Norway
Collaborated with:M.Leuschel T.Witt C.F.Bolz
Talks about:univers (1) problem (1) toward (1) prolog (1) improv (1) execut (1) valid (1) timet (1) model (1) solv (1)
Person: David Schneider
DBLP: Schneider:David
Contributed to:
2015
2010Wrote 2 papers:
- FM-2015-SchneiderLW #modelling #problem #validation
- Model-Based Problem Solving for University Timetable Validation and Improvement (DS, ML, TW), pp. 487–495.
- PPDP-2010-BolzLS #execution #prolog #towards #virtual machine
- Towards a jitting VM for prolog execution (CFB, ML, DS), pp. 99–108.