| Original language | English |
|---|---|
| Publication status | Published - 2010 |
SAT Encodings of the AT-Most-k Constraint: Some Old, Some New, Some Fast, Some Slow
Alan M. Frisch, Paul A. Giannaros
Research output: Contribution to conference › Paper › peer-review
Alan M. Frisch, Paul A. Giannaros
Research output: Contribution to conference › Paper › peer-review
| Original language | English |
|---|---|
| Publication status | Published - 2010 |