6. ILP 1996: Stockholm, Sweden

Invited Paper

Experiments and Applications

Implementations

Theory

maintained by Schloss Dagstuhl LZI at University of Trier