@incollection{JR07,
title = { Generating Random Values Using Binary Decision Diagrams and Convex Polyhedra },
author = {Jahier, Erwan and Raymond, Pascal},
month = {may},
year = {2007},
booktitle = {Trends in Constraint Programming},
address = {London, UK},
note = {http://www.iste.co.uk/index.php?isbn=9781905209972},
pages = {349--356},
publisher = {ISTE},
team = {SYNC},
}