Publications Login
Home List all
@inproceedings{,
	author          = {Marijn J.H. Heule and Matti Jarvisalo and Armin Biere},
	title           = {Efficient CNF Simplification based on Binary Implication Graphs},
	booktitle       = {SAT 2011},
	publisher       = {Springer},
	year            = {2011},
	editor          = {K.A. Sakallah and L. Simon},
	volume          = {6695},
	series          = {Lecture Notes in Computer Science},
	pages           = {201-215},
	isbn            = {978-3-642-21580-3},
	url             = {http://www.st.ewi.tudelft.nl/~marijn/publications/unhiding.pdf},
	project         = {SAT},
	group           = {ALG}
}