| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| Simplifying Clausal Satisfiability Problems
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 19-33 | Barth, Peter | Jouannaud, Jean-Pierre | 1994 | Proceedings Article |
| Situated Simplification
In: Proceedings of the First International Conference on Principles and Practice of Constraint Programming (CP'95), 328-344 | Podelski, Andreas
Smolka, Gert | Montanari, Ugo
Rossi, Francesca | 1995 | Proceedings Article |
| Situated Simplification
In: Theoretical Computer Science [173], 235-252 | Podelski, Andreas
[Smolka, Gert] | | 1997 | Journal Article |
| Size-change Termination Analyzer | Lee, Chin Soon | | 2004 | Unpublished/Draft |
| Soft Typing for Clausal Inference Systems
Universität des Saarlandes | Meyer, Christoph | | 1999 | Thesis - PhD thesis |
| Soft Typing for Ordered Resolution
In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14), 321-335 | Ganzinger, Harald
Meyer, Christoph
Weidenbach, Christoph | [McCune, William] | 1997 | Proceedings Article |
| Software Model Checking with Abstraction Refinement
In: Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, 1-13 | Podelski, Andreas | [Zuck, Lenore]
[Attie, Paul]
[Cortesi, Agostino]
[Mukhopadhyay, Supratik] | 2003 | Proceedings Article |
| Solving 0-1 Problems in CLP($\cal PB$)
In: Proceedings 9th Conference on Artificial Intelligence for Applications (CAIA), 263-269 | Barth, Peter
Bockmayr, Alexander | | 1993 | Proceedings Article |
| Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities
In: Principles and practice on constraint programming - CP 2003 : 9th International Conference, CP 2003, 615-633 | Ratschan, Stefan | [Rossi, Francesca] | 2003 | Proceedings Article |
| Solving numerical constraints
In: Handbook of Automated Reasoning, 751-842 | Bockmayr, Alexander
[Weispfenning, V.] | [Robinson, Alan]
[Voronkov, Andrei] | 2001 | Part of a Book |
| Solving pseudo-Boolean constraints
In: Constraint Programming: Basics and Trends, 22-38 | Bockmayr, Alexander | Podelski, Andreas | 1995 | Proceedings Article |
| Solving Simplificating Ordering Constraints
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 352-367 | [Johann, Patricia]
Socher-Ambrosius, Rolf | Jouannaud, Jean-Pierre | 1994 | Proceedings Article |
| Solving Undecidable Problems in the Theory of Real Numbers and Hybrid Systems
In: Algorithmic Algebra and Logic; Conference in Honor of the 60th Birthday of Volker Weispfenning, 213-216 | Ratschan, Stefan | [Dolzmann, Andreas]
[Seidl, Andreas]
[Sturm, Thomas] | 2005 | Proceedings Article |
| Some characteristics of strong innermost normalization
In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, 406-420 | Krishna Rao, M. R. K. | Wirsing, Martin
Nivat, Maurice | 1996 | Proceedings Article |
| Some characteristics of strong innermost normalization
In: Theoretical Computer Science [239], 141-164 | Krishna Rao, M. R. K. | | 2000 | Journal Article |
| Some classes of prolog programs inferable from positive data
In: Theoretical Computer Science [241], 211-223 | Krishna Rao, M. R. K. | | 2000 | Journal Article |
| Some Normalization Properties of Martin-Löf's Type Theory, and Applications
In: International Conference on Theoretical Aspects of Computer Software (TACS '91), 475-494 | Basin, David A.
Howe, D. | Ito, T.
Meyer, A. R. | 1991 | Proceedings Article |
| Some Notes on Nonmonotonic Probabilistic Inference | Weydert, Emil | | 1998 | Miscellaneous |
| Some properties of Kleene algebras
In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-7 | Sofronie-Stokkermans, Viorica | [Iturrioz, Luisa]
[Orlowska, Ewa]
[Turunen, Esko] | 2000 | Part of a Book |
| Sorted Unification and Its Application to Automated Theorem Proving
In: Proceedings of the CADE-13 Workshop: Term Schematizations and Their Applications, 67-76 | Weidenbach, Christoph | [Hermann, Miki]
[Salzer, Gernot] | 1996 | Proceedings Article |
| Sorted Unification and Tree Automata
In: Automated Deduction - A Basis for Applications, 291-320 | Weidenbach, Christoph | [Bibel, Wolfgang]
[Schmitt, Peter H.] | 1998 | Part of a Book |
| Sorts, Resolution, Tableaux and Propositional Logic
In: KI-94 Workshops: Extended Abstracts, 315-316 | Weidenbach, Christoph | Kunze, Jürgen
Stoyan, Herbert | 1994 | Proceedings Article |
| SPASS V0.77
In: Journal of Automated Reasoning [21], 113-113 | Weidenbach, Christoph
Meyer, Christoph
Cohrs, Christian
Engel, Thorsten
Keen, Enno | | 1998 | Journal Article |
| SPASS V0.95TPTP
In: Journal of Automated Reasoning [23], 21-21 | Weidenbach, Christoph | | 1999 | Journal Article |
| SPASS Version 0.49
In: Journal of Automated Reasoning [18], 247-252 | Weidenbach, Christoph | | 1997 | Journal Article |
| SPASS Version 2.0
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 275-279 | Weidenbach, Christoph
Brahm, Uwe
Hillenbrand, Thomas
Keen, Enno
Theobalt, Christian
Topić, Dalibor | [Voronkov, Andrei] | 2002 | Proceedings Article |
| SPASS & FLOTTER, Version 0.42
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 141-145 | Weidenbach, Christoph
[Gaede, Bernd]
[Rock, Georg] | [McRobbie, M. A.]
[Slaney, J. K.] | 1996 | Proceedings Article |
| SPASS+T
In: ESCoR: FLoC'06 Workshop on Empirically Successful Computerized Reasoning, 18-33 | [Prevosto, Virgile]
Waldmann, Uwe | [Sutcliffe, Geoff]
[Schmidt, Renate]
[Schulz, Stephan] | 2006 | Proceedings Article |
| Specification of Term Rewriting in Linear Logic
In: Proceedings of Workshop on Proof-Search in Type-Theoretic Languages, ?? | Delzanno, Giorgio | Galmiche, Didier | 1998 | Proceedings Article |
| Splitting through New Proposition Symbols
In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 172-185 | de Nivelle, Hans | [Nieuwenhuis, Robert]
[Voronkov, Andrei] | 2001 | Proceedings Article |