Thesis / Abschlussarbeit (EN) Search Heuristics: Decision Heuristics in a Constraint-based Product Configurator

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

https://www.cas-mitgestalter.de/jobs/abschlussarbeit-thesis-en-search-heuristics-decision-heuristics-in-a-constraint-based-product-configurator/