dblp.uni-trier.dewww.uni-trier.de

Thomas Kasper Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2002
3EEErnst Althaus, Alexander Bockmayr, Matthias Elf, Michael Jünger, Thomas Kasper, Kurt Mehlhorn: SCIL - Symbolic Constraints in Integer Linear Programming. ESA 2002: 75-87
1999
2 Alexander Bockmayr, Thomas Kasper: Branch-and-Infer: an Unifying Framework for Integer Linear Programming and Finite Domain Constraint Programming. JFPLC 1999: 141-142
1998
1EEAlexander Bockmayr, Thomas Kasper: Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming. INFORMS Journal on Computing 10(3): 287-300 (1998)

Coauthor Index

1Ernst Althaus [3]
2Alexander Bockmayr [1] [2] [3]
3Matthias Elf [3]
4Michael Jünger [3]
5Kurt Mehlhorn [3]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)