A hybrid search architecture applied to hard random 3-SAT and low-autocorrelation binary sequences, Principles and Practice (2000)

by S D Prestwich
Venue:of Constraint Programming, Sixth International Conference, Lecture Notes in Computer Science