Publications Login
Home List all
@techreport{,
	author          = {Marijn J.H. Heule and Matti Jarvisalo and Armin Biere},
	title           = {Blocked Clause Elimination and its Extentions},
	institution     = {Proceedings of Guangzhou Symposium on Satisfiability In Logic-Based Modeling},
	year            = {2010},
	placeofissue    = {extended abstract},
	url             = {http://www.st.ewi.tudelft.nl/~marijn/publications/Zhuhai.pdf},
	project         = {SAT},
	group           = {ALG}
}