Stefan Szeider

Lecturer

简介

Design and analysis of efficient algorithms for the solution of hard problems that arise in logic, artificial intelligence, and networks.Theory and Application of SAT (satisfiability) and constraint satisfaction methods.Establishment of theoretical limits for algorithmic techniques.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。