TY  - RPRT
TI  - Approximate-At-Most-k Encoding of SAT for Soft Constraints
AU  - Shunji Nishimura
PY  - 2023
UR  - https://arxiv.org/abs/2310.17898
ID  - 2310.17898
ER  -