prob005: low autocorrlation binary sequences

proposed by Toby Walsh
tw@cs.york.ac.uk

References

Stephan Mertens. Exhaustive search for low-autocorrelation binary sequences. J. Phys. A, 29:L473-L481, 1996.

Stephan Mertens and Christine Bessenrodt. "On the ground states of the Bernasconi model" , J. Phys. A, 31:3731-3749

M.R. Schroeder. Number Theory in Science and Communication. Springer, Berlin, 1984.

Marcel J.E. Golay. The merit factor of long low autocorrelation binary sequences. IEEE Trans. Inform. Theory, IT-28:543, 1982.

J. Bernasconi. Low autocorrelation binary sequences: statistical mechanics and configuration space analysis. J. Physique, 48:559, 1987.

Enzo Marinari, Giorgio Parisi, and Felix Ritort. Replica field theory for determistic models: I. binary sequences with low autocorrelation. J. Phys. A, 27:7615-7645, 1994.

I.P. Gent and B.M. Smith. Symmetry Breaking During Search in Constraint Programming. Research Report 99.02, Department of Computer Science, University of Leeds, 1999.

S. Prestwich. A hybrid local search algorithm for low-autocorrelation binary seqeunces. Technical report TR-00-01, Department of Computer Science, National University of Ireland at Cork, 2000.