Stellnberger, Elmar (Autor)
Finding all Solutions to a CNF. The DualSat SAT Solver
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-346-41936-1 |
|---|---|
| Seitenzahl | 66 S. |
| Kopierschutz | ohne Kopierschutz |
| Dateigröße | 1863 Kbytes |