Efficient CNF Encoding of Boolean Cardinality Constraints

DOI Web Site 7 Citations

Journal

Lecture Notes in Computer Science

Lecture Notes in Computer Science 2833 108-122, 2003

Springer Berlin Heidelberg

Citations (7)*help

See more

Details 詳細情報について

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
Data Source
- Crossref

Export

Report a problem

Back to top