Split-and-list SAT-to-OV instance and sparse $k$-SAT time bounds · Prove2Me

P

Initializing...

Split-and-list SAT-to-OV instance and sparse $k$-SAT time bounds · Prove2Me