×
{{flash.message}}
Toggle navigation
Toggle navigation
日本語
|
English
新規登録
ログイン
宋 剛秀
ソウ タケヒデ (Takehide Soh)
更新日: 02/01
ホーム
研究キーワード
受賞
論文
MISC
経歴
研究分野
所属学協会
講演・口頭発表等
担当経験のある科目(授業)
共同研究・競争的資金等の研究課題
学歴
研究キーワード
15
充足可能性判定
SAT
制約充足
制約最適化
システム生物学
充足可能性判定問題
命題論理
ドメイン特化言語
推論技術
SAT技術
ハミルトン閉路問題
動的制約
フランス
国際情報交換
制約プログラミング
メニュー
マイポータル
共著者の一覧
まだ共著者が1人も登録されていません。
{{coauthor.Related.name_str}}
{{coauthor.Related.last_modified}} 更新
もっとみる
フォロー一覧
まだ誰もフォローしていません。
{{follow.Related.user_name_ja}}
{{follow.Related.modified}} 更新
もっとみる