Thesis (EN): Numerical Reasoning in a Product Configurator

The topic:

The constraint-based product configurator CAS Merlin supports rules with real and integer numbers and reasoning about them. The part of Merlin’s core responsible for reasoning with numbers is called the numeric engine. Currently the numeric engine is based on interval constraint propagation (ICP). The goal of this thesis is to identify, implement and evaluate alternative approaches to ICP in order to improve the performance of Merlin’s numeric engine. This thesis is ideal for someone who likes mathematics and efficient java programming. The experimental evaluation will be done on real industrial benchmark data provided by the users of Merlin.

Your Tasks

  • Do a literature research to assemble a list of algorithms for numeric reasoning in a constraints solver.
  • Evaluate these methods and identify those that are applicable in a product configurator like Merlin.
  • Implement and experimentally evaluate the applicable methods in Merlin using real-world customer data.
  • Summarize the results in your thesis and/or scientific publication(s).

Your Skills

  • You can find, read and understand scientific papers relevant for a given topic.
  • Can write performant Java code (fast running programs).
  • Not being scared off by hard (NP-Hard) problems.
  • Communicating your ideas clearly and precisely in writing (in English).

Benefits of your thesis at CAS

  • An ideal environment for you and your thesis: With us you can spend 100% of your worktime on your thesis where you combine state-of-the-art research with real industry use-cases.
  • Professional supervision of your thesis in the CAS Future Labs in Karlsruhe: Every year we accompany many students to their successful graduation – you too can benefit from our experience.
  • Get to know the CAS culture (offline and online): by working with business coaches and taking part in many other interactive formats. You will experience our unique WeSpirit and make connections across multiple units.

Please send us the following documents in complete form

  • Your motivation: Why this subject? Why with us?
  • Time period and type of thesis (master / bachelor)
  • Resume
  • Current transcript of grades
  • Certificate of enrolment
  • Further evidence of your qualifications (e.g. working references)
  • Immatrikulationsbescheinigung
  • Weitere Nachweise deiner Qualifikationen (z.B. Arbeitszeugnisse)
Die Stelle passt zu dir? Jetzt bewerben


Christina Müller
Referentin People & WeCulture
+ 49 721 9638-550

CAS Software AG