Eintrag weiter verarbeiten
Online-Ressource

Theory and Applications of Satisfiability Testing – SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

Gespeichert in:

Personen und Körperschaften: Järvisalo, Matti (VerfasserIn), Van Gelder, Allen (Sonstige)
Titel: Theory and Applications of Satisfiability Testing – SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings/ edited by Matti Järvisalo, Allen Van Gelder
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer 2013
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 7962
Schlagwörter:
Computer software
Logic design
Mathematics
Computer science
Artificial intelligence
Computer Science
Algorithms.
Machine theory.
Konferenzschrift > 2013 > Helsinki
Konferenzschrift
Druckausg.: Theory and applications of satisfiability testing - SAT 2013, Berlin : Springer, 2013, XVI, 436 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz
Themen
RVK-Notation:
SS 4800
  • Informatik
    • Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen
      • Schriftenreihen (indiv. Sign.)
        • Lecture notes in computer science
Schlagwörter:
Computer software
Logic design
Mathematics
Computer science
Artificial intelligence
Computer Science
Algorithms.
Machine theory.
Konferenzschrift > 2013 > Helsinki
Konferenzschrift
Erfüllbarkeitsproblem > Boolesche Formel