@inproceedings{SAC-2000-RossiMK,
	author        = "Claudio Rossi and Elena Marchiori and Joost N. Kok",
	booktitle     = "{Proceedings of the 15th Symposium on Applied Computing}",
	pages         = "463--469",
	publisher     = "{ACM}",
	title         = "{An Adaptive Evolutionary Algorithm for the Satisfiability Problem}",
	volume        = 1,
	year          = 2000,
}