大学ネットワーク

自動推論:満足度

商品の説明

このコースでは、さまざまな問題を解決するために充足可能性(SAT / SMT)ツールを適用する方法を学びます。
アプリケーションのフレーバーを取得するためにいくつかの基本的な例が与えられています:ポスターの印刷、問題のスケジュール、パズルの解答、およびプログラムの正確さのために適用される長方形の適合。 また、根底にある理論が提示されます:命題充足可能性のための基本的なアプローチとしての解決、大きな公式のためにスケールアップするCDCLフレームワーク、および線形不等式を処理するシンプレックス法。

このコースに従うための軽量のアプローチは、講義を見て、対応するクイズを行うことです。 トピックのフレーバーを取得するには、これでうまくいく場合があります。 ただし、はるかに興味深いアプローチは、これを基礎として使用して、SAT / SMTをいくつかの問題、たとえば名誉の割り当てで提示された問題に自分で適用することです。

価格:無料で登録!

言語: 英語

字幕: 英語

自動推論:満足度 –EITデジタル