検索結果1件中 1-1 を表示

  • 南 雄之 ID: 9000356550937

    CiNii収録論文: 1件

    • ブール基数制約を経由した擬似ブール制約のSAT符号化法 (特集 「SAT技術の理論,実装,応用」および一般) (2017)
ページトップへ