Articles with article keyword: boolean satisfiability

Proof of the satisfiability conjecture for large $k$

Pages 1-388 by Jian Ding, Allan Sly, Nike Sun | From volume 196-1