Refine
Year of publication
Document Type
- Doctoral Thesis (470)
- Part of Periodical (354)
- Bachelor Thesis (275)
- Diploma Thesis (196)
- Master's Thesis (190)
- Study Thesis (138)
- Article (14)
- Conference Proceedings (12)
- Other (8)
- Report (8)
Language
- German (1137)
- English (534)
- Multiple languages (4)
- Spanish (2)
- (1)
Keywords
- Vorlesungsverzeichnis (55)
- Bildverarbeitung (16)
- Augmented Reality (15)
- Simulation (12)
- Computergraphik (10)
- Computersimulation (10)
- Pestizid (10)
- Robotik (10)
- Computergrafik (9)
- Computervisualistik (9)
Institute
- Institut für Computervisualistik (336)
- Fachbereich 4 (298)
- Zentrale Einrichtungen (176)
- Institut für Wirtschafts- und Verwaltungsinformatik (147)
- Institut für Informatik (143)
- Institut für Management (116)
- Fachbereich 7 (99)
- Institute for Web Science and Technologies (57)
- Institut für Softwaretechnik (54)
- Fachbereich 8 (47)
- Institut für Integrierte Naturwissenschaften, Abt. Biologie (30)
- Institut für Umweltwissenschaften (27)
- Fachbereich 5 (26)
- Institut für Integrierte Naturwissenschaften, Abt. Chemie (23)
- Institut für Psychologie (19)
- Institut für Anglistik und Amerikanistik (14)
- Institut für Erziehungswissenschaft (14)
- Institut für Kulturwissenschaft (14)
- Fachbereich 6 (13)
- Mathematisches Institut (13)
- Institut für Integrierte Naturwissenschaften, Abt. Physik (12)
- Institut für Pädagogik, Abteilung Pädagogik (12)
- Institut für Integrierte Naturwissenschaften (11)
- Institut für naturwissenschaftliche Bildung (10)
- Institut für Evangelische Theologie (9)
- Arbeitsbereich Biopsychologie, Klinische Psychologie und Psychotherapie (8)
- Institut für Germanistik (8)
- Institut für Integrierte Naturwissenschaften, Abt. Geographie (7)
- Institut für Sportwissenschaft (7)
- Institut für Grundschulpädagogik (6)
- Institut für Kunstwissenschaft (5)
- Institut für Musikwissenschaft und Musikpädagogik (5)
- Institut für Sozialwissenschaften (5)
- Arbeitsbereich Diagnostik, Differentielle und Persönlichkeitspsychologie, Methodik und Evaluation (4)
- Institut für Philosophie (4)
- Institut für Pädagogik, Abteilung Schulpädagogik/Allgemeine Didaktik (4)
- Institut für Soziologie und Politikwissenschaft (4)
- Institut für Kommunikationspsychologie und Medienpädagogik (3)
- Institut für Mathematik (3)
- Arbeitsbereich Entwicklungspsychologie und Pädagogische Psychologie (2)
- Arbeitsbereich Sozial- und Wirtschaftspsychologie (2)
- Institut für Kunstwissenschaft und Bildende Kunst (2)
- An-Institute (1)
- Arbeitsbereich Allgemeine und Pädagogische Psychologie (1)
- Arbeitsbereich Kognitive Psychologie (1)
- Fachbereich 1 (1)
- Fachbereich 3 (1)
- Institut für Bildung im Kindes- und Jugendalter (1)
- Institut für Geschichte (1)
- Institut für Pflegewissenschaften (1)
- Institut für Sonderpädagogik (1)
- Institut für fremdsprachliche Philologien (1)
- Universitätsbibliothek Koblenz-Landau (1)
- Zentrum für Fernstudien und Universitäre Weiterbildung (1)
The model evolution calculus
(2004)
The DPLL procedure is the basis of some of the most successful propositional satisfiability solvers to date. Although originally devised as a proof procedure for first-order logic, it has been used almost exclusively for propositional logic so far because of its highly inefficient treatment of quantifiers, based on instantiation into ground formulas. The recent FDPLL calculus by Baumgartner was the first successful attempt to lift the procedure to the first-order level without resorting to ground instantiations. FDPLL lifts to the first-order case the core of the DPLL procedure, the splitting rule, but ignores other aspects of the procedure that, although not necessary for completeness, are crucial for its effectiveness in practice. In this paper, we present a new calculus loosely based on FDPLL that lifts these aspects as well. In addition to being a more faithful litfing of the DPLL procedure, the new calculus contains a more systematic treatment of universal literals, one of FDPLL's optimizations, and so has the potential of leading to much faster implementations.