Alert button
Picture for Martin Gebser

Martin Gebser

Alert button

Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes (Extended version)

Jul 28, 2023
Mohammed M. S. El-Kholany, Ramsha Ali, Martin Gebser

Viaarxiv icon

Enhancing Temporal Planning Domains by Sequential Macro-actions (Extended Version)

Jul 22, 2023
Marco De Bortoli, Lukáš Chrpa, Martin Gebser, Gerald Steinbauer-Wagner

Figure 1 for Enhancing Temporal Planning Domains by Sequential Macro-actions (Extended Version)
Figure 2 for Enhancing Temporal Planning Domains by Sequential Macro-actions (Extended Version)
Figure 3 for Enhancing Temporal Planning Domains by Sequential Macro-actions (Extended Version)
Viaarxiv icon

Elementary Sets for Logic Programs

Jul 15, 2023
Martin Gebser, Joohyung Lee, Yuliya Lierler

Viaarxiv icon

An End-to-End Reinforcement Learning Approach for Job-Shop Scheduling Problems Based on Constraint Programming

Jun 09, 2023
Pierre Tassel, Martin Gebser, Konstantin Schekotihin

Figure 1 for An End-to-End Reinforcement Learning Approach for Job-Shop Scheduling Problems Based on Constraint Programming
Figure 2 for An End-to-End Reinforcement Learning Approach for Job-Shop Scheduling Problems Based on Constraint Programming
Figure 3 for An End-to-End Reinforcement Learning Approach for Job-Shop Scheduling Problems Based on Constraint Programming
Viaarxiv icon

Semiconductor Fab Scheduling with Self-Supervised and Reinforcement Learning

Feb 14, 2023
Pierre Tassel, Benjamin Kovács, Martin Gebser, Konstantin Schekotihin, Patrick Stöckermann, Georg Seidel

Figure 1 for Semiconductor Fab Scheduling with Self-Supervised and Reinforcement Learning
Figure 2 for Semiconductor Fab Scheduling with Self-Supervised and Reinforcement Learning
Figure 3 for Semiconductor Fab Scheduling with Self-Supervised and Reinforcement Learning
Figure 4 for Semiconductor Fab Scheduling with Self-Supervised and Reinforcement Learning
Viaarxiv icon

Proceedings 38th International Conference on Logic Programming

Aug 04, 2022
Yuliya Lierler, Jose F. Morales, Carmine Dodaro, Veronica Dahl, Martin Gebser, Tuncay Tekle

Viaarxiv icon

Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling

May 23, 2022
Mohammed M. S. El-Kholany, Martin Gebser, Konstantin Schekotihin

Figure 1 for Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
Figure 2 for Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
Figure 3 for Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
Figure 4 for Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
Viaarxiv icon

Efficient lifting of symmetry breaking constraints for complex combinatorial problems

May 14, 2022
Alice Tarzariol, Martin Gebser, Mark Law, Konstantin Schekotihin

Figure 1 for Efficient lifting of symmetry breaking constraints for complex combinatorial problems
Figure 2 for Efficient lifting of symmetry breaking constraints for complex combinatorial problems
Figure 3 for Efficient lifting of symmetry breaking constraints for complex combinatorial problems
Figure 4 for Efficient lifting of symmetry breaking constraints for complex combinatorial problems
Viaarxiv icon

Lifting Symmetry Breaking Constraints with Inductive Logic Programming

Dec 23, 2021
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin

Viaarxiv icon