人工知能基本問題研究会

• Material Type: 雑誌
• Title: 人工知能基本問題研究会
• Title Transcription: ジンコウ チノウ キホン モンダイ ケンキュウカイ
• Volume: 106:2018.3.16・17
• Series Title: 人工知能学会研究会資料
• Author Heading: 人工知能学会 ジンコウ チノウ ガッカイ
• Publication, Distribution, etc.: 東京 : 人工知能学会
• Publication Date: 2018
• Publication Date (W3CDTF): 2018
• Year and volume of publication: 56回 (2004年7月25/26日)-
• Size: 26cm
• Place of Publication (Country Code): JP
• Text Language Code: jpn; eng
• NDLC: ZM13
• Note (General): 本タイトル等は最新号による
• Holding library: 国立国会図書館
• Call No.: Z14-1667
• Replaces: 継続前; https://ndlsearch.ndl.go.jp/books/R100000002-I000000073840
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000007429400; http://id.ndl.go.jp/bib/000007429400
• Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition

Table of Contents

招待講演 ブール論理に基づく,情報システムのテスト・検証のためのアプローチ (特集 「命題論理の充足可能性問題SATの最新動向」および一般)

二分決定グラフを用いた帰納論理プログラミングの解の列挙 (特集 「命題論理の充足可能性問題SATの最新動向」および一般)

ZDDを用いた三角形分割パターンの列挙とその応用に向けて (特集 「命題論理の充足可能性問題SATの最新動向」および一般)

ZDDを用いた組合せテストケースの列挙索引化に関する実験と考察 (特集 「命題論理の充足可能性問題SATの最新動向」および一般)

実数上の非線形制約のためのSMTソルバraSAT (特集 「命題論理の充足可能性問題SATの最新動向」および一般)