Efficient CNF Encoding of Boolean Cardinality Constraints

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

• CRID

  1360574095098891776

• DOI

  10.1007/978-3-540-45193-8_8

• ISSN

  16113349

  03029743

  http://id.crossref.org/issn/03029743

• Web Site

  http://link.springer.com/content/pdf/10.1007/978-3-540-45193-8_8

• データソース種別

  • Crossref