Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 3. by Names Including [Non Members]

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	Barnett, Basin, Hesketh [-]
		1993		A Recursion Planning Analysis of Inductive Completion In: Annals of Mathematics and Artificial Intelligence [8], 363-381	Journal Article
5	Barth [-]
		1995		Logic-based 0-1 constraint programming	Book
		1995		Logic-based 0-1 Constraint Solving in Constraint Logic Programming Fachbereich Informatik, Universität des Saarlandes, Germany	Thesis - PhD thesis
		1994		Simplifying Clausal Satisfiability Problems In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 19-33	Proceedings Article
		1993		A Complete Symbolic 0-1 Constraint Solver In: 3rd Workshop on Constraint Logic Programming (WCLP '93), ?	Proceedings Article
		1993		Linear 0-1 Inequalities and Extended Clauses In: Proceedings~4th International~Conference on Logic Programming and Automated Reasoning LPAR '93, 40-51	Proceedings Article
6	Barth, Bockmayr [-]
		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, Bockmayr [Barth]
		1998		Modelling Discrete Optimisation Problems in Constraint Logic Programming In: Annals of Operations Research [81], 467-496	Journal Article
1	Barth, Kleine Büning, Weidenbach [Kleine Büning]
		1995		Workshop CPL Computational Propositional Logic In: KI-95 Activities: Workshops, Posters, Demos, 71-72	Proceedings Article
5	Basin [-]
		1995		Thema der Antrittsvorlesung: MONA - Ein Werkzeug zur Systemverifikation und -entwicklung Universität des Saarlandes	Thesis - Habilitation thesis
		1994		A Term Equality Problem Equivalent to Graph Isomorphism In: Information Processing Letters [51], 61-66	Journal Article
		1994		Generalized Rewriting in Type Theory In: Journal of Information Processing and Cybernetics [30], 249-259	Journal Article
		1994		IsaWhelk: Whelk Interpreted in Isabelle In: Proceedings of the 11th International Conference on Logic Programming (ICLP'94), 741-741	Proceedings Article
		1994		Logic Frameworks for Logic Programs In: Proceedings of the 4th International Workshop on Logic Program Synthesis and Transformation - Meta Programming in Logic (LOPSTR'94 and META'94), 1-16	Proceedings Article
1	Basin, Brown, Leeser [-]
		1991		Formally Verified Synthesis of Combinational CMOS Circuits In: Integration: The Intern. Journal of VLSI Design [11], 235-250	Journal Article
1	Basin, Bundy, Kraan, Matthews [-]
		1993		A Framework for Program Development Based on Schematic Proof In: Proc. 7th Intern.~Workshop on Software Specification and Design, 162-171	Proceedings Article
1	Basin, Constable [-]

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