TY  - RPRT
TI  - On Satisfiability Problems with a Linear Structure
AU  - Serge Gaspers
AU  - Christos Papadimitriou
AU  - Sigve Hortemo Saether
AU  - Jan Arne Telle
PY  - 2016
UR  - https://arxiv.org/abs/1602.07876
ID  - 1602.07876
ER  -