Rückel, Bastian (Autor)
A faster approximation scheme for #k-SAT
Exploiting independent subformulars
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-95636-375-7 |
|---|---|
| Seitenzahl | 15 S. |
| Kopierschutz | ohne Kopierschutz |
| Dateigröße | 2689 Kbytes |