TY  - RPRT
TI  - Finding Small Satisfying Assignments Faster Than Brute Force: A Fine-grained Perspective into Boolean Constraint Satisfaction
AU  - Marvin Künnemann
AU  - Dániel Marx
PY  - 2020
UR  - https://arxiv.org/abs/2005.11541
ID  - 2005.11541
ER  -