Publications Login
Home List all
@techreport{,
	author          = {Shai Haim and Marijn Heule},
	title           = {Towards Ultra Rapid Restarts},
	institution     = {UNSW and TU Delft},
	year            = {2010},
	url             = {http://www.st.ewi.tudelft.nl/~marijn/publications/rapid.pdf},
	project         = {SAT},
	group           = {ALG}
}