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

#		Year		Title	Type
1	Baader, Ohlbach
1	Bach
12	Bachmair, Ganzinger
2	Bachmair, Ganzinger, Lynch, Snyder
1	Bachmair, Ganzinger, Stuber
1	Bachmair, Ganzinger, Voronkov
4	Bachmair, Ganzinger, Waldmann
1	Backes
2	Backes, Wetzel
1	Ball, Podelski, Rajamani
1	Barnett, Basin, Hesketh
5	Barth
7	Barth, Bockmayr
		1998		Modelling Discrete Optimisation Problems in Constraint Logic Programming In: Annals of Operations Research [81], 467-496	Journal Article
		1997		PLAM: ProLog and Algebraic Modelling In: Proceedings of the 5th International Conference on the Practical Application of Prolog, 73-82	Proceedings Article
		1996		Modelling 0-1 Problems in CLP($\cal PB$) In: Proceedings of the Second International Conference on Practical Application of Constraint Technology, 1-9	Proceedings Article
		1995		Finite domain and cutting plane techniques in CLP($\cal PB$) In: Proceedings of the Twelfth International Conference on Logic Programming, 133-147	Proceedings Article
		1995		Pseudo-Boolean Constraint Logic Programming In: Computational Logic. The Newsletter of the European Network in Computational Logic [2], 52-53	Journal Article
		1994		Global Consistency in CLP($\cal PB$) In: Proceedings of the 10th Workshop Logic Programming WLP'94, 4	Proceedings Article
		1993		Solving 0-1 Problems in CLP($\cal PB$) In: Proceedings 9th Conference on Artificial Intelligence for Applications (CAIA), 263-269	Proceedings Article
1	Barth, Kleine Büning, Weidenbach
5	Basin
1	Basin, Brown, Leeser
1	Basin, Bundy, Kraan, Matthews
1	Basin, Constable
2	Basin, Friedrich
2	Basin, Ganzinger
1	Basin, Giunchiglia, Kaufmann (ed.)
1	Basin, Giunchiglia, Traverso
1	Basin, Howe

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