順序符号化と対数符号化を融合した制約充足問題のハイブリッド符号化  [in Japanese] A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings  [in Japanese]

Codes

• NII Article ID (NAID)

  40020657481

• NII NACSIS-CAT ID (NCID)

  AN10158574

• Text Lang

  JPN

• ISSN

  0913-5391

• NDL Article ID

  026942990

• NDL Call No.

  Z14-1245

• Data Source

  NDL