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

zu Verbundenen Objekten

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

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

Ereignis
Veröffentlichung
(wo)
Wadern
(wer)
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
(wann)
2022
Beteiligte Personen und Organisationen
Meel, Kuldeep S.
Strichman, Ofer

URN
urn:nbn:de:0030-drops-166736
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:45 MEZ

Datenpartner

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

Beteiligte

  • Meel, Kuldeep S.
  • Strichman, Ofer
  • Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

Entstanden

  • 2022

Ä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)

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

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

Satisfiability thresholds for non-uniform random k-SAT

Satisfiability thresholds for non-uniform random k-SAT

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 : 13th international conference ; proceedings

Konferenzschrift | Kongress

Theory and applications of satisfiability testing : 13th 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 : 8th international conference ; proceedings

Konferenzschrift | Kongress

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

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 applications of satisfiability testing : 15th international conference ; proceedings

Konferenzschrift | Kongress

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

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

Konferenzschrift | Kongress

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

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

Konferenzschrift | Kongress

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

Verbundene Objekte