MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 1. by Names of First Author,Editor

Login to this database


 

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)


Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
#YearTitleType
1
Show details for Abdelwaheb, Basin, PodelskiAbdelwaheb, Basin, Podelski
1
Show details for Afshordel, Hillenbrand, WeidenbachAfshordel, Hillenbrand, Weidenbach
1
Show details for Ahrendt, Baumgartner, de Nivelle (ed.)Ahrendt, Baumgartner, de Nivelle (ed.)
1
Show details for AlthausAlthaus
2
Show details for Anderson, BasinAnderson, Basin
1
Show details for Antoy, Echahed, HanusAntoy, Echahed, Hanus
1
Show details for Areces, de Rijke, de NivelleAreces, de Rijke, de Nivelle
1
Show details for Argon, Delzanno, Mukhopadhyay, PodelskiArgon, Delzanno, Mukhopadhyay, Podelski
1
Show details for AutexierAutexier
1
Show details for Avenhaus, Hillenbrand, LöchnerAvenhaus, Hillenbrand, Löchner
1
Show details for AyariAyari
3
Show details for Ayari, BasinAyari, Basin
1
Show details for Baader, OhlbachBaader, Ohlbach
1
Show details for BachBach
12
Show details for Bachmair, GanzingerBachmair, Ganzinger
2
Show details for Bachmair, Ganzinger, Lynch, SnyderBachmair, Ganzinger, Lynch, Snyder
1
Show details for Bachmair, Ganzinger, StuberBachmair, Ganzinger, Stuber
1
Show details for Bachmair, Ganzinger, VoronkovBachmair, Ganzinger, Voronkov
4
Show details for Bachmair, Ganzinger, WaldmannBachmair, Ganzinger, Waldmann
1
Show details for BackesBackes
2
Show details for Backes, WetzelBackes, Wetzel
1
Show details for Ball, Podelski, RajamaniBall, Podelski, Rajamani
1
Show details for Barnett, Basin, HeskethBarnett, Basin, Hesketh
5
Show details for BarthBarth
7
Hide details for Barth, BockmayrBarth, Bockmayr
1998Modelling Discrete Optimisation Problems in Constraint Logic Programming
In: Annals of Operations Research [81], 467-496
Journal Article
1997PLAM: ProLog and Algebraic Modelling
In: Proceedings of the 5th International Conference on the Practical Application of Prolog, 73-82
Proceedings Article
1996Modelling 0-1 Problems in CLP($\cal PB$)
In: Proceedings of the Second International Conference on Practical Application of Constraint Technology, 1-9
Proceedings Article
1995Finite domain and cutting plane techniques in CLP($\cal PB$)
In: Proceedings of the Twelfth International Conference on Logic Programming, 133-147
Proceedings Article
1995Pseudo-Boolean Constraint Logic Programming
In: Computational Logic. The Newsletter of the European Network in Computational Logic [2], 52-53
Journal Article

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)