Not-all-equal 3-SAT and 2-colorings of 4-regular 4-uniform hypergraphs
scientific article; zbMATH DE number 6882082
scientific article