Ole Lübke

According to our database, Ole Lübke authored at least 5 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

SLS-Enhanced Core-Boosted Linear Search for Anytime Maximum Satisfiability.

Ole Lübke, Jeremias Berg

Proceedings of the 31st International Conference on Principles and Practice of Constraint Programming, 2025

2024

IGMaxHS - An Incremental MaxSAT Solver with Support for XOR Clauses.

Ole Lübke

CoRR, 2024

Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy.

Lars Beckers, Stefan Gerlach, Ole Lübke, Alexander Schlaefer, Sibylle Schupp

Proceedings of the Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems, 2024

2023

Computer Aided Design and Grading for an Electronic Functional Programming Exam.

Ole Lübke, Konrad Fuger, Fin Hendrik Bahnsen, Katrin Billerbeck, Sibylle Schupp

Proceedings of the Proceedings Twelfth International Workshop on Trends in Functional Programming in Education, 2023

2021

WCET-aware reachability for verified simplex design: work-in-progress.

Ole Lübke, Sibylle Schupp

Proceedings of the EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8, 2021