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