MetadatenVerfasserangaben: | Holger Arnold |
---|
URN: | urn:nbn:de:kobv:517-opus-15421 |
---|
Publikationstyp: | Wissenschaftlicher Artikel |
---|
Sprache: | Englisch |
---|
Erscheinungsjahr: | 2007 |
---|
Veröffentlichende Institution: | Universität Potsdam |
---|
Datum der Freischaltung: | 02.11.2007 |
---|
Freies Schlagwort / Tag: | Automatisches Beweisen; DPLL; Klausellernen; SAT Automated Theorem Proving; Clause Learning; DPLL; SAT |
---|
Organisationseinheiten: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
---|
DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
---|
MSC-Klassifikation: | 03-XX MATHEMATICAL LOGIC AND FOUNDATIONS / 03Bxx General logic / 03B05 Classical propositional logic |
---|
| 03-XX MATHEMATICAL LOGIC AND FOUNDATIONS / 03Bxx General logic / 03B35 Mechanization of proofs and logical operations [See also 68T15] |
---|
| 68-XX COMPUTER SCIENCE (For papers involving machine computations and programs in a specific mathematical area, see Section {04 in that areag 68-00 General reference works (handbooks, dictionaries, bibliographies, etc.) / 68Txx Artificial intelligence / 68T15 Theorem proving (deduction, resolution, etc.) [See also 03B35] |
---|