Not-all-equal 3-SAT and 2-colorings of 4-regular 4-uniform hypergraphs

From MaRDI portal
Publication:1637144