@inproceedings{hutter-babic-etal-fmcad2007,
	author = "Frank Hutter and Domagoj Babi\'c and Holger H. Hoos and Alan J. Hu",
	title = "Boosting Verification by Automatic Tuning of Decision Procedures",
	booktitle = "Formal Methods in Computer-Aided Design",
	year = 2007,
	publisher = "IEEE Computer Society Press",
	pages = "27--34"
}