Search papers, labs, and topics across Lattice.
University of Toronto
1
0
2
SAT solver metrics fail to predict human difficulty in Nonograms, revealing a disconnect between algorithmic and human solving strategies.
