位取り記数法に基づく整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化

書誌事項

タイトル別名
  • A Compact and Efficient SAT Encoding of Finite CSP based on a Numeral System of Integers

この論文をさがす

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ