Thesis / Abschlussarbeit (EN) Search Heuristics: Decision Heuristics 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 decision heuristics for SAT (Boolean Satisfiability) and MaxSAT (Maximum Satisfiability) solvers.

· Evaluate these heuristics and identify those, which may be suitable for our product configurator Merlin.

· Invent and develop your own novel decision heuristic(s).

· Implement and experimentally evaluate the collected heuristics in Merlin using real-world customer data.

· Summarize the results in your thesis and/or scientific publication(s).


Your Skills

· Reading and understanding scientific papers.

· Can write performant Java code (fast running programs).

· Not being scared off by hard (NP-Hard) problems.

. Communicating your ideas clearly and precisely in English.

. Working together with others in German is also easy for you.


Interessiert? Dann bewirb dich gleich hier


To apply for this job email your details to

Recent Posts