Publications Login
Home List all
@inproceedings{,
	author          = {Matti Järvisalo and Marijn J. H. Heule and Armin Biere},
	title           = {Inprocessing Rules},
	booktitle       = {6th International Joint Conference, IJCAR },
	year            = {2012},
	volume          = {7364},
	series          = {Lecture Notes in Computer Science},
	pages           = {355-370},
	url             = {http://link.springer.com/chapter/10.1007/978-3-642-31365-3_28},
	project         = {SAT},
	group           = {ALG}
}