@Article{SAT_based_Compressive_Sensing,
	author = "Ramin Ayanzadeh, Milton Halem, and Tim Finin",
	title = "{SAT-based Compressive Sensing}",
	month = "March",
	year = "2019",
	journal = "arXiv:1903.03650 [cs.IT]",
}