BibTeX cite key | Author/Editor | Year | | Title | Type |
deNivelleMeng2006a | de Nivelle, Hans
Meng, Jia | 2006 | | Geometric Resolution: A Proof Procedure Based on Finite Model Search
In: Automated reasoning : Third International Joint Conference, IJCAR 2006, 303-317 | Proceedings Article |
deNivelleMeng2006b | de Nivelle, Hans
Meng, Jia | 2006 | | Geo 2006j | Miscellaneous |
DeNivellePiskac2005a | de Nivelle, Hans
Piskac, Ruzica | 2005 | | Verification of an Off-Line Checker for Priority Queues
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 210-219 | Proceedings Article |
deNivelleSchulz2001 | de Nivelle, Schulz (ed.) | 2001 | | Proceedings of the 2nd International Workshop on the Implementation of Logics | Proceedings |
deRJaeLeeMan02 | de Raedt, Luc
Jaeger, Manfred
Lee, Sau Dan
Mannila, Heikki | 2002 | | A Theory of Inductive Query Answering
In: Proceedings of the 2002 IEEE International Conference on Data Mining (ICDM'02), 123-130 | Proceedings Article |
DGNVV98a | Degtyarev, Anatoli
Gurevich, Yuri
Narendran, Paliath
Veanes, Margus
Voronkov, Andrei | 1998 | | The Decidability of Simultaneous Rigid E-Unification with One Variable
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 181-195 | Proceedings Article |
DGNVV99 | Degtyarev, Anatoli
Gurevich, Yuri
Narendran, Paliath
Veanes, Margus
Voronkov, Andrei | 2000 | | Decidability and Complexity of Simultaneous Rigid E-unification with One Variable and Related Results
In: Theoretical Computer Science [243], 167-184 | Journal Article |
dim92 | Dimopoulos, Yannis
Magirou, Vangelis | 1994 | | A Graph Theoretic Approach to Default Logic
In: Information and Computation [112], 239-256 | Journal Article |
dim94a | Dimopoulos, Yannis | 1994 | | Classical Methods in Nonmonotonic Reasoning
In: Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems (ISMIS'94), 500-510 | Proceedings Article |
dim94c | Dimopoulos, Yannis | 1994 | | The Computational Value of Joint Consistency
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 50-65 | Proceedings Article |
Dimitrova2006 | Dimitrova, Rayna | 2006 | | Model Checking with Abstraction Refinement for Well-Structured Systems
Universität des Saarlandes | Thesis - Masters thesis |
Dimopoulos-93-mpii226-2- | Dimopoulos, Yannis
Magirou, Vangelis
Papadimitriou, Christos | 1993 | | On Kernels, Defaults and Even Graphs
In: Annals of Mathematics and Artificial Intelligence, | Journal Article |
DMSSISAMC2005 | Daum, Matthias
Maus, Stefan
Schirmer, Norbert
Seghir, Mohammed Nassim | 2005 | | Integration of a Software Model Checker into Isabelle
In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, 381-395 | Proceedings Article |
Domopoulos96 | Dimopoulos, Yannis | 1996 | | On Computing Logic Programs
In: Journal of Automated Reasoning [17], 259-289 | Journal Article |
DomshlakHoffmann2006 | Domshlak, Carmel
Hoffmann, Jörg | 2006 | | Fast Probabilistic Planning Through Weighted Model Counting
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 243-252 | Proceedings Article |
DP-STTT01 | Delzanno, Giorgio
Podelski, Andreas | 2001 | | Constraint-based Deductive Model Checking
In: International Journal on Software Tools for Technology Transfer (STTT) [3], 250-270 | Journal Article |
Eisenbrand1999 | Eisenbrand, Friedrich | 1999 | | On the Membership Problem for the Elementary Closure of a Polyhedron
In: Combinatorica [19], 297-300 | Journal Article |
Eisenbrand2000 | Eisenbrand, Friedrich | 2000 | | Gomory-Chvátal Cutting planes and the Elementary Closure of Polyhedra
Universität des Saarlandes | Thesis - PhD thesis |
Eisenbrand2001 | Eisenbrand, Friedrich | 2001 | | Short vectors of planar integral lattices via continued fractions
In: Information Processing Letters [79], 121-126 | Journal Article |
EisenSchulz1999 | Eisenbrand, Friedrich
Schulz, Andreas S. | 1999 | | Bounds on the Chvátal Rank of Polytopes in the 0/1-Cube
In: Proceedings of the 7th Conference on Integer Programming and Combinatorial Optimization (IPCO-99), 137-150 | Proceedings Article |
EisingerNonnengartPraecklein92 | Eisinger, Norbert
Nonnengart, Andreas
Präcklein, Axel | 1992 | | Termersetzungssysteme
In: Deduktionssysteme -- Automatisierung des logischen Denkens, 126-149 | Part of a Book |
EisingerOhlbach93 | Eisinger, Norbert
Ohlbach, Hans Jürgen | 1993 | | Deduction Systems Based on Resolution
In: Handbook of Logic in Artificial Intelligence and Logic Programming, 184-271 | Proceedings Article |
EisingerOhlbachPraecklein91a | Eisinger, Norbert
Ohlbach, Hans Jürgen
Präcklein, Axel | 1991 | | Reduction Rules for Resolution Based Systems
In: Artificial Intelligence [50], 141-181 | Journal Article |
Engel96 | Engel, Thorsten | 1996 | | Quantifier Elimination in Second-Order Predicate Logic
Universität des Saarlandes | Thesis - Masters thesis |
ER2001 | Eisenbrand, Friedrich
Rote, Günter | 2001 | | Fast 2-variable integer programming
In: Proceedings of the 8th Conference on Integer and Combinatorial Optimization (IPCO-01), 78-89 | Proceedings Article |
ER2001b | Eisenbrand, Friedrich
Rote, Günter | 2001 | | Fast reduction of ternary quadratic forms
In: Proceedings of the 1st Conference on Lattices and Cryptography (CaLC-01), 99-111 | Proceedings Article |
ERV02 | Eisenbrand, Friedrich
Rinaldi, Giovanni
Ventura, Paolo | 2002 | | 0/1 Optimization and 0/1 Primal Separation are Equivalent
In: Proceedings of the 13th Annual ACM SIAM Symposium on Discrete Algorithms, 920-926 | Proceedings Article |
EsparzaPodelskiPOPL00 | Esparza, Javier
Podelski, Andreas | 2000 | | Efficient Algorithms for Pre$^\star$ and Post$^\star$ on Interprocedural Parallel Flow Graphs
In: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-00), 1-11 | Proceedings Article |
Fehrer93a | Fehrer, Detlef | 1993 | | A Unifying Framework for Reason Maintenance
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings European Conference ECSQARU '93, 113-120 | Proceedings Article |
Fehrer94a | Fehrer, Detlef | 1994 | | A Unifying Logical Framework for Reason Maintenance (Deliverable DI.1.2-3P)
In: Medlar II Report PPR2, 47-55 | Proceedings Article |