Home|E-Books|Informatik & Informationstechnologie|Informatik|Mensch-Computer-Interaktion|Informationsarchitektur|A faster approximation scheme for #k-SAT
A faster approximation scheme for #k-SAT

A faster approximation scheme for #k-SAT

Verfügbar
0
SternSternSternSternStern
0Bewertungen
Bastian RückelBastian Rückel
Naturwissenschaften, Medizin, Informatik, Technik
Informatik, EDV
Informatik
Inhaltsverzeichnis: 1. Vorwort 2. Grundlagen 3. Elimination trees 4. Der l-cut 5. Monte Carlo Simulation 6. Thurley´s RAS 7. Pruning the tree 8. Unabhängige Formeln Literaturverzeichnis
Leseprobe
pdfpdf
E-Book
pdf
6,99 €
Inhaltsverzeichnis: 1. Vorwort 2. Grundlagen 3. Elimination trees 4. Der l-cut 5. Monte Carlo Simulation 6. Thurley´s RAS 7. Pruning the tree 8. Unabhängige Formeln Literaturverzeichnis
Autor*in folgen

Details

  • ISBN: 9783956363757
  • Seitenzahl: 15
  • Kopierschutz: Kein
  • Erscheinungsdatum: 30.10.2014
  • Verlag: DIPLOM.DE
  • Sprache: Deutsch
  • Formate: pdf

Bewertungen

LadenLadenLadenLaden