TY - RPRT TI - AND-compression of NP-complete problems: Streamlined proof and minor observations AU - Holger Dell PY - 2014 DO - 10.1007/s00453-015-0110-y 10.1007/978-3-319-13524-3_16 UR - https://arxiv.org/abs/1405.4472 ID - 1405.4472 ER -