SAT problems with chains of dependent variables

From MaRDI portal
Publication:1408386