Theory and applications of satisfiability testing - SAT 2019 : 22nd international conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019 : proceedings

Theory and applications of satisfiability testing - SAT 2019 22nd international conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019 : proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: SAT (VerfasserIn)
Weitere Verfasser: Janota, Mikoláš (HerausgeberIn), Lynce, Ines (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2019
Schriftenreihe:Lecture notes in computer science 11628
Schlagworte:
World Wide Web > Informationssystem > Agent > Wissensmanagement > Requirements engineering > CASE > Konferenzschrift ; 2019 ; Lissabon > Konferenzschrift > Erfüllbarkeitsproblem > Boolesche Formel
Online Zugang:Inhaltsverzeichnis
Cover
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:xiv, 423 Seiten
Diagramme
ISBN:9783030242572
978-3-030-24257-2
3030242579
3-030-24257-9