Bockmayr, A.: Solving Pseudo-Boolean Constraints. In: Constraint Programming: Basics and Trends, S. 22 - 38 (Hg. Podelski, A.). 1994 Chatillon Spring School, Chatillon-sur-Seine, France, 16. Mai 1994 - 20. Mai 1994. Springer, Berlin, Germany (1994)

Bockmayr, A.: Cutting planes in constraint logic programming (Abstract). In: Proceedings of the 3rd International Symposium Artificial Intelligence and Mathematics. Untitled Event, Ft. Lauderdale, Florida, 1994. Florida Atlantic University, Boca Raton (1994)

Bockmayr, A.: Using Strong Cutting Planes in Constraint Logic Programming (Extended Abstract). In: Operations Research '93, 18th Symposium on Operations Research, S. 47 - 49 (Hg. Bachem; A.; al.). Untitled Event, Köln, 1994. Physica-Verlag, Heidelberg, Germany (1994)

Bockmayr, A.; Werner, A.: LSE Narrowing for Decreasing Conditional Term Rewrite Systems. In: Conditional Term Rewriting Systems, S. 51 - 70 (Hg. Dershowitz, N.; Lindenstrauss, N.). 4th International Workshop on Conditional Term Rewriting Systems, Jerusalem, Israel, 13. Juli 1994 - 15. Juli 1994. Springer, Berlin, Germany (1994)

Burnikel, C.; Mehlhorn, K.; Schirra, S.: How to Compute the Voronoi Diagram of Line Segments: Theoretical and Experimental Results. In: Algorithms (ESA-94): 2nd annual European symposium, S. 227 - 239. Untitled Event, Utrecht, The Netherlands, September 26-28, 1994, 26. September 1994. Springer, Berlin, Germany (1994)

Burnikel, C.; Mehlhorn, K.; Schirra, S.: On degeneracy in geometric computations. In: Discrete algorithms (SODA-94): 5th annual ACM-SIAM symposium, S. 16 - 23. Untitled Event, Arlington, USA, 23. Januar 1994. ACM / SIAM, New York, USA (1994)

Chu, H.; Plaisted, D. A.: Semantically Guided First-Order Theorem Proving using Hyper-Linking. In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), S. 192 - 206 (Hg. Bundy, A.). Untitled Event, Nancy, France, 1994. Springer, Berlin, Germany (1994)

Datta, A.: Efficient Parallel Algorithms for Geometric k-clustering Problems. In: STACS 94, S. 475 - 486 (Hg. Enjalbert, P.; Mayr, E. W.; Wagner, K. W.). 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, 24. Februar 1994 - 26. Februar 1994. Springer, Berlin, Germany (1994)

Devillers, O.; Golin, M.; Kedem, K.; Schirra, S.: Revenge of the Dog: Queries on Voronoi Diagrams of Moving Points. In: Proceedings of the 6th Canadian Conference on Computational Geometry, S. 122 - 127. 6th Canadian Conference on Computational Geometry, Saskatoon, Canada, 02. August 1994 - 06. August 1994. (1994)

Dimopoulos, Y.: Classical Methods in Nonmonotonic Reasoning. In: Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems (ISMIS'94), S. 500 - 510 (Hg. Ras, Z.; Zemankova, M.). Untitled Event, Charlotte, North Carolina, 1994. Springer, Berlin, Germany (1994)

Dimopoulos, Y.: The Computational Value of Joint Consistency. In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, S. 50 - 65 (Hg. MacNish, C.; Pearce, D.; Pereira, L. M.). Untitled Event, York, UK, 1994. Springer, Berlin, Germany (1994)

Evans, B.L.; Schwarz, C.; Teich, J.: Automated Design of Two-dimensional Rational Decimation Systems. In: Proceedings of the 28th IEEE Asilomar Conference on Signals, Systems, and Computers, S. 498 - 502. 28th Asilomar Conference on Signals, Systems and Computers, Pacific Grove, California, USA, 31. Oktober 1994 - 02. November 1994. IEEE, Los Alamitos (1994)

Fehrer, D.: A Unifying Logical Framework for Reason Maintenance (Deliverable DI.1.2-3P). In: Medlar {II} Report {PPR2}, S. 47 - 55 (Hg. Cunningham, J.; Pitt, J.). (1994)

Fehrer, D.; Hustadt, U.; Jaeger, M.; Nonnengart, A.; Ohlbach, H. J.; Schmidt, R. A.; Weidenbach, C.; Weydert, E.: Description Logics for Natural Language Processing. In: International Workshop on Description Logics, S. 79 - 83 (Hg. Baader, F.; Lenzerini, M.; Nutt, W.; Patel-Schneider, P. F.). International Workshop on Description Logics, Bonn, Germany, 28. Mai 1994 - 29. Mai 1994. DFKI, Saarbrücken, Germany (1994)

Ganzinger, H.; Bachmair, L.: Associative-commutative Superposition. In: Conditional Term Rewriting Systems, S. 1 - 14 (Hg. Dershowitz, N.; Lindenstrauss, N.). 4th International Workshop on Conditional Term Rewriting Systems, Jerusalem, Israel, 13. Juli 1994 - 15. Juli 1994. Springer, Berlin, Germany (1994)

Gerber, S.; Goessel, M.: Detection of Permanent Hardware Faults of a Floating Point Adder by Pseudoduplication. In: Dependable Computing - EDCC-1, S. 327 - 335 (Hg. Echtle, K.; Hammer, D.; Powell, D.). First European Dependable Computing Conference, Berlin, Germany, 04. Oktober 1994 - 06. Oktober 1994. Springer, Berlin (1994)

Graf, P.: Extended Path-indexing. In: Automated Deduction - CADE-12, S. 514 - 528 (Hg. Bundy, A.). 12th International Conference on Automated Deduction, Nancy, France, 26. Juni 1994 - 01. Juli 1994. Springer, Berlin, Germany (1994)

Gupta, P.; Janardan, R.; Smid, M.: Efficient Algorithms for Generalized Intersection Searching on Non-iso-oriented Objects. In: Proceedings of the 10th Symposium on Computational Geometry, S. 369 - 378 (Hg. Mehlhorn, K.). 10th Symposium on Computational Geometry, Stony Brook, NY, USA, 06. Juni 1994 - 08. Juni 1994. ACM, New York, NY (1994)

Gupta, P.; Janardan, R.; Smid, M.: Fast Algorithms for Collision and Proximity Problems Involving Moving Geometric Objects. In: Algorithms - ESA '94, S. 278 - 289 (Hg. van Leeuwen, J.). 2nd Annual European Symposium on Algorithms, Utrecht, The Netherlands, 26. September 1994 - 28. September 1994. Springer, Berlin (1994)

Gupta, P.; Janardan, R.; Smid, M.: On Intersection Searching Problems Involving Curved Objects. In: Algorithms Theory - SWAT' 94, S. 183 - 194 (Hg. Schmidt, E. M.). 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, 06. Juli 1994 - 08. Juli 1994. Springer, Berlin, Germany (1994)