The 1st and 2nd Max-SAT evaluations

• ARGELICH J.

収録刊行物

• J. Satisfiability, Boolean Modeling and Computation

  J. Satisfiability, Boolean Modeling and Computation 4 251-278, 2008

詳細情報

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