@Misc{Solving_Hard_SAT_Instances_with_Adiabatic_Quantum_Computers,
	author = "Ramin Ayanzadeh, Milton Halem, and Tim Finin",
	title = "{Solving Hard SAT Instances with Adiabatic Quantum Computers}",
	month = "December",
	year = "2018",
	note = "Abstract only",
	booktitle = "American Geophysical Union, Fall Meeting 2018, abstract #IN41B-27",
	publisher = "American Geophysical Union,",
}