Ceek.jp Altmetrics (α ver.)
文献ランキング
合計
1ヶ月間
1週間
1日間
文献カレンダー
新着文献
すべて
2 Users
5 Users
10 Users
新着投稿
Yahoo!知恵袋
レファレンス協同データベース
教えて!goo
はてなブックマーク
OKWave
Twitter
Wikipedia
検索
ウェブ検索
ニュース検索
ホーム
文献詳細
1
0
0
0
OA
SMT:個別理論を取り扱うSAT技術(<特集>最近のSAT技術の発展)
著者
岩沼 宏治
鍋島 英知
Koji Iwanuma
Hidetomo Nabeshima
雑誌
人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence
(
ISSN:09128085
)
巻号頁・発行日
vol.25, no.1, pp.86-95, 2010-01-01
言及状況
変動(ピーク前後)
変動(月別)
分布
Twitter
(1 users, 1 posts, 1 favorites)
@khibino ご参考 SMT:個別理論を取り扱うSAT技術 https://t.co/AHuGJHpMUg 特集「最近のSAT技術の発展」 https://t.co/Id6BDxW8CU
収集済み URL リスト
https://jsai.ixsq.nii.ac.jp/ej/?action=pages_view_main&active_action=repository_view_main_item_detail&item_id=7488&item_no=1&page_id=13&block_id=23
(1)