Tamlab勉強内容

第3回International CSP Solver Competition で， 本研究室で開発しているソフトウェアであるSugar が， CSP Solverの5部門およびMax-CSP Solverの5部門の全10部門中， 4つの部門で優勝しました．

このCompetitionは， スケジューリング問題や長方形パッキング問題等， 解くのが非常に難しい制約充足問題(CSP)を対象として， 解を探索するプログラムの性能を競うものです． 本年度のCSP Solver Competition (全5部門)には 各国から14チーム，24ソルバーが参加し， SugarはGLOBAL部門で第1位となりました． Max-CSP Solver Competition (全5部門)には 4チーム，8ソルバーが参加し， Sugarは2-ARY-INT, N-ARY-INT, GLOBALの3部門で第1位となりました． 詳しい結果はこちら をご覧ください．