Strong Refutation Heuristics for Random k-SAT

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
In: Combinatorics, Probability and Computing, Band 16, Ausgabe 1, Seite 5-28, 2007

Ereignis
Veröffentlichung
(wo)
Berlin
(wer)
Humboldt-Universität zu Berlin
(wann)
2023
Urheber
Coja-Oghlan, Amin
Goerdt, Andreas
Lanka, André

DOI
10.18452/27700
URN
urn:nbn:de:kobv:11-110-18452/28383-5
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:43 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Coja-Oghlan, Amin
  • Goerdt, Andreas
  • Lanka, André
  • Humboldt-Universität zu Berlin

Entstanden

  • 2023

Ähnliche Objekte (12)