26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783959772860
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
LIPIcs - Leibniz International Proceedings in Informatics ; Volume 271

Ereignis
Veröffentlichung
(wo)
Wadern
(wer)
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
(wann)
2023
Beteiligte Personen und Organisationen
Mahajan, Meena
Slivovsky, Friedrich

URN
urn:nbn:de:0030-drops-184615
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
14.08.2025, 10:54 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

  • Mahajan, Meena
  • Slivovsky, Friedrich
  • Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

Entstanden

  • 2023

Ähnliche Objekte (12)

27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)

27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)

25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)

25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)

SAT Meets Tableaux for Linear Temporal Logic Satisfiability

SAT Meets Tableaux for Linear Temporal Logic Satisfiability

Satisfiability thresholds for non-uniform random k-SAT

Satisfiability thresholds for non-uniform random k-SAT

Variational satisfiability solving: efficiently solving lots of related SAT problems

Variational satisfiability solving: efficiently solving lots of related SAT problems

Satisfiability problems

Satisfiability problems

26th International Conference on Database Theory (ICDT 2023)

26th International Conference on Database Theory (ICDT 2023)

Theory and applications of satisfiability testing : 10th international conference ; proceedings

Konferenzschrift | Kongress

Theory and applications of satisfiability testing : 10th international conference ; proceedings

Theory and applications of satisfiability testing : 9th international conference ; proceedings

Konferenzschrift | Kongress

Theory and applications of satisfiability testing : 9th international conference ; proceedings

Theory and application of satisfiability testing : 14th international conference ; proceedings

Konferenzschrift | Kongress

Theory and application of satisfiability testing : 14th international conference ; proceedings

Theory and applications of satisfiability testing : 11th international conference ; proceedings

Konferenzschrift | Kongress

Theory and applications of satisfiability testing : 11th international conference ; proceedings

Theory and applications of satisfiability testing : 8th international conference ; proceedings

Konferenzschrift | Kongress

Theory and applications of satisfiability testing : 8th international conference ; proceedings

Verbundene Objekte