On Fri, Oct 30, 2009 at 01:31:14PM +0100, Francois Galea wrote:
Have you got any reference (article, book, ...) on which you based your implementation ?
Usually, I base my papers on my implementation. Anyway, which implementation are you talking about? I have two.
The basic idea of barvinok's lexmin is described in this presentation: https://lirias.kuleuven.be/handle/123456789/182679 So this was in fact the only time I presented something that I hadn't implemented yet. The actual implementation was done later that year. I submitted a paper about it to the post-conference proceeding, but it was rejected. I can send it to you if you want.
The implemenation in isl is pretty recent and I haven't had time to write a paper about it. I was actually thinking about writing a combined paper about the implementations in barvinok and isl. Many of the trick I applied in isl were inspired by my earlier work in barvinok. I did present the isl implementation today in an informal meeting today in Leiden. The slides should become available online next week. (The head of our group needs to approve everything that gets added to the publications database.)
skimo