Thesis / Abschlussarbeit (EN) AI | Logic: Ruleset Complexity Analysis in a Constraint-based Product Configurator

  • Abschlussarbeit Bachelor/Master
  • Karlsruhe

Website CAS Software AG

Your Tasks

· Do a literature research to assemble a list of algorithms for (propositional logic) clause set complexity estimation.

· Evaluate these methods and identify those that are applicable in a constraint based product configurator like Merlin.

· Possibly invent and develop your own novel methods.

· 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.

. Creativity in approaching hard problems.

. Communicating your ideas clearly and precisely in English


Interessiert? Dann bewirb dich gleich hier


To apply for this job email your details to

Recent Posts