Tobias Geibinger
| TISS: | Tobias Geibinger |
| Room: | HG0306 |
| Phone: | +43/1/58801/740083 |
| Fax: | +43/1/58801/18493 |
| Email: |  |
About me
I am a Research Assistant working on Discrete Optimization for scheduling and related topics. Furthermore, I'm also interested in logic in general and particularly in the context of AI.
Publications
|
Physician Scheduling During a Pandemic Tobias Geibinger, Lucas Kletzander, Matthias Krainz, Florian Mischek, Nysret Musliu and Felix Winter CPAIOR 2021 |
|
Constraint Logic Programming for Real-World Test Laboratory Scheduling Tobias Geibinger, Florian Mischek and Nysret Musliu AAAI 2021 |
|
Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics Tobias Geibinger and Hans Tompits ICLP 2020 Technical Communication (Download) |
|
Solving the Test Laboratory Scheduling Problem with Variable Task Grouping Philipp Danzinger, Tobias Geibinger, Florian Mischek and Nysret Musliu ICAPS 2020 (Download) |
|
Investigating Constraint Programming and Hybrid Methods for Real World Industrial Test Laboratory Scheduling Tobias Geibinger, Florian Mischek and Nysret Musliu Submitted to Journal (Download) |
|
Investigating Constraint Programming for Real World Industrial Test Laboratory Scheduling Tobias Geibinger, Florian Mischek and Nysret Musliu CPAIOR 2019 (Download) |
|
Characterising Relativised Strong Equivalence with Projection for Non-Ground Answer-Set Programs Tobias Geibinger and Hans Tompits JELIA 2019 (Download) |
Academic Writing
|
Investigating Constraint Programming and Hybrid Answer-set Solving for Industrial Test Laboratory Scheduling Tobias Geibinger Diploma Thesis, Technische Universität Wien, Institute of Logic and Computation, Advisor: Nysret Musliu, 2020 (Download) |
|
Characterising Relativised Strong Equivalence with Projection for Non-Ground Logic Programs Tobias Geibinger Bachelor Thesis, Technische Universität Wien, Institute of Logic and Computation, Advisor: Hans Tompits, 2018 (Download) |