基本対称関数に基づく節をもつCNF論理式の充足可能性判定  [in Japanese]

Access this Article

Author(s)

Journal

  • IEICE INFORMATION AND SYSTEMS SOCIETY JOURNAL

    IEICE INFORMATION AND SYSTEMS SOCIETY JOURNAL 16(3), 14-14, 2011

    The Institute of Electronics, Information and Communication Engineering

Codes

Page Top