First time here? Check out the FAQ!
Search tip: add tags and a query to focus your search
Consider an instance of SAT with $m$ clauses, where every clause has exactly $k$ literals.
TrueShelf is aimed at connecting instructors and students and helping them discover, discuss and share mathematical exercises from high-school level to graduate level.