Publications Login
Home List all
@article{,
	author          = {Matti Järvisalo and Armin Biere and Marijn J. H. Heule},
	title           = {Simulating Circuit-Level Simplifications on CNF},
	journal         = { Journal of Automated Reasoning},
	year            = {2012},
	volume          = {49},
	number          = {4},
	pages           = {583-619},
	url             = {http://rd.springer.com/article/10.1007/s10817-011-9239-9},
	project         = {SAT},
	group           = {ALG}
}