Thesis / Abschlussarbeit (EN) AI | Logic: Ruleset Complexity Analysis in a Constraint-based Product Configurator
Website CAS Software AG
· 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).
· 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 firstname.lastname@example.org