TY  - RPRT
TI  - Generating Weighted MAX-2-SAT Instances of Tunable Difficulty with Frustrated Loops
AU  - Yan Ru Pei
AU  - Haik Manukian
AU  - Massimiliano Di Ventra
PY  - 2020
UR  - https://arxiv.org/abs/1905.05334
ID  - 1905.05334
ER  -