Abstract dell and abstract dpll modulo theories

• NIEUWENHUIS R.

収録刊行物

• Logic for Programming, Artificial Intelligence, and Reasoning

  Logic for Programming, Artificial Intelligence, and Reasoning 36-50, 2005

  Springer

詳細情報

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