The impact of branching heuristics in propositional satisfiability algorithms

• SILVA J. P. M.

収録刊行物

• Proc. 9th Portuguese Conference on Artificial Intelligence, 1999

  Proc. 9th Portuguese Conference on Artificial Intelligence, 1999 62-74, 1999

詳細情報

• CRID: 1573950400758877440
• NII論文ID: 10026031029
• データソース種別:
  • CiNii Articles