@inproceedings{,
	author          = {Marijn J.H. Heule and Matti Järvisalo and Armin Biere},
	title           = {Covered Clause Elimination},
	booktitle       = {Short paper proceedings of LPAR-17, 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Yogyakarta, Indonesia, October 10th - 15th, 2010},
	publisher       = {EasyChair Proceedings},
	year            = {2010},
	url             = {http://www.st.ewi.tudelft.nl/~marijn/publications/CCE.pdf},
	project         = {SAT},
	group           = {ALG}
}