Hauptmenü
  • Autor
    • Stütz, Herwig
  • TitelAlgorithms for MAX-SAT
  • Datei
  • Erscheinungsjahr2018
  • Beschreibung53 Seiten
  • BeschreibungDiagramme
  • ZugriffsrechteAuch außerhalb des TU-Netzes nutzbar