Hauptmenü
  • Autor
    • Stütz, Herwig
  • TitelAlgorithms for MAX-SAT
  • Volltext
  • Erscheinungsjahr2018
  • Beschreibung53 Seiten
  • BeschreibungDiagramme
  • ZugriffsrechteAuch auzserhalb des TU-Netzes nutzbar