順序符号化と対数符号化を融合した制約充足問題のハイブリッド符号化

Bibliographic Information

Other Title
  • ジュンジョ フゴウカ ト タイスウ フゴウカ オ ユウゴウ シタ セイヤク ジュウソク モンダイ ノ ハイブリッド フゴウカ
  • A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings

Search this article

Journal

Details

  • CRID
    1520009410060298368
  • NII Article ID
    40020657481
  • NII Book ID
    AN10158574
  • ISSN
    09135391
  • NDL BIB ID
    026942990
  • Text Lang
    ja
  • NDL Source Classification
    • ZM13(科学技術--科学技術一般--データ処理・計算機)
  • Data Source
    • NDL
    • CiNii Articles

Report a problem

Back to top