Publications

@article{icps-2009-207,
	title = "Symbolic Polynomial Maximization over Convex Sets and its Application to Memory Requirement Estimation",
	author= "Philippe Clauss and Federico Javier Fernandez and Diego Gabervetsky and Sven Verdoolaege",
 	journal = "IEEE Transactions on Very Large Scale Integration (VLSI) Systems",
	volume = "17",
	number = "8",
	pages= "983-996",
	publisher = "IEEE",
	issn = "1063-8210",
	month = "August",
	year  = "2009",
}