アブドゥル・サッター教授は複雑な実世界を制約充足問題によりモデル化することで、実世界における様々な問題を効率的に解決する手法について研究されています。本講演では、制約充足問題による計算的課題について、近年の研究成果で得られた最新の手法についてご講演いただきます。