Cesare Tinelli

複数の目標と論理的制約を組み込んだ複雑な最適化問題のための柔軟なフレームワーク。

テーブルと関係理論を使ってSQLクエリを検証する新しい方法を探ってる。