TY  - RPRT
TI  - Algorithms for Max Hamming Exact Satisfiability
AU  - Vilhelm Dahllof
PY  - 2005
UR  - https://arxiv.org/abs/cs/0509038
ID  - cs/0509038
ER  -