Improved Lower Bounds for Tree-Like Resolution over Linear Inequalities

Kojevnikov, Arist

doi:10.1007/978-3-540-72788-0_10

Lokale TagsFreigabegeschichteDetailsÜbersicht

Improved Lower Bounds for Tree-Like Resolution over Linear Inequalities

Kojevnikov, A. (2007). Improved Lower Bounds for Tree-Like Resolution over Linear Inequalities. In Theory and Applications of Satisfiability Testing – SAT 2007: proceedings (pp. 70-79). Heidelberg [et al.]: Springer.

Item is Freigegeben

einblenden: alle

Basisdaten

ausblenden:

Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-0004-2B6F-1 Versions-Permalink: https://hdl.handle.net/21.11116/0000-0004-2B70-E

Genre: Konferenzbeitrag

Dateien

einblenden: Dateien

Externe Referenzen

einblenden:

Urheber

ausblenden:

Urheber:
Kojevnikov, Arist¹, Autor

Affiliations:
1Max Planck Institute for Mathematics, Max Planck Society, ou_3029201

Inhalt

einblenden:

Details

ausblenden:

Sprache(n): eng - English

Datum: Erschienen: 2007

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: -

Inhaltsverzeichnis: -

Art der Begutachtung: Expertenbegutachtung

Identifikatoren: eDoc: 351330
DOI: 10.1007/978-3-540-72788-0_10

Art des Abschluß: -

Veranstaltung

ausblenden:

Titel: Theory and Applications of Satisfiability Testing – SAT 2007: 10th International Conference

Veranstaltungsort: Lisbon

Start-/Enddatum: 2007-05-28 - 2007-05-31

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

ausblenden:

Titel: Theory and Applications of Satisfiability Testing – SAT 2007: proceedings

Genre der Quelle: Konferenzband

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: Heidelberg [et al.] : Springer

Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 70 - 79 Identifikator: -

Quelle 2

ausblenden:

Titel: Lecture notes in computer science

Genre der Quelle: Reihe

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: -

Seiten: - Band / Heft: 4501 Artikelnummer: - Start- / Endseite: - Identifikator: -