TY  - RPRT
TI  - Generating Difficult SAT Instances by Preventing Triangles
AU  - Guillaume Escamocher
AU  - Barry O'Sullivan
AU  - Steven David Prestwich
PY  - 2019
UR  - https://arxiv.org/abs/1903.03592
ID  - 1903.03592
ER  -