OXFORD UNIVERSITY COMPUTING LABORATORY

Polynomial Constraints for Sets with Cardinality Bounds

Bruno Marnette, Viktor Kuncak and Martin C. Rinard

info

book title

FoSSaCS

year

2007

links

BibTeX

related pages

people

Random Image
Random Image
Random Image