研究キーワード

命題論理の充足可能性問題 (SAT)

研究キーワードが「命題論理の充足可能性問題 (SAT)」である研究者

  • ナベシマ ヒデトモ
    Nabeshima Hidetomo
    山梨大学
    大学院 総合研究部 工学域電気電子情報工学系(コンピュータ理工学) 准教授