Title: A theoretical study and computer search for binary sequences having specific auto-correlation functions