27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783959773348
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
LIPIcs - Leibniz International Proceedings in Informatics ; Volume 305
- Ereignis
-
Veröffentlichung
- (wo)
-
Wadern
- (wer)
-
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
- (wann)
-
2024
- Beteiligte Personen und Organisationen
-
Chakraborty, Supratik
Jiang, Jie-Hong Roland
- URN
-
urn:nbn:de:0030-drops-205211
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:47 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Chakraborty, Supratik
- Jiang, Jie-Hong Roland
- Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Entstanden
- 2024
Ähnliche Objekte (12)
26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)
Satisfiability thresholds for non-uniform random k-SAT
27th International Conference on Database Theory (ICDT 2024)
Theory and applications of satisfiability testing : 10th international conference ; proceedings
Theory and applications of satisfiability testing : 9th international conference ; proceedings
Theory and application of satisfiability testing : 14th international conference ; proceedings
Theory and applications of satisfiability testing : 11th international conference ; proceedings
Theory and applications of satisfiability testing : 8th international conference ; proceedings
Theory and applications of satisfiability testing : 12th international conference ; proceedings
Theory and applications of satisfiability testing : 13th international conference ; proceedings
Theory and applications of satisfiability testing : 15th international conference ; proceedings
26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)
Satisfiability thresholds for non-uniform random k-SAT
27th International Conference on Database Theory (ICDT 2024)
Theory and applications of satisfiability testing : 10th international conference ; proceedings
Theory and applications of satisfiability testing : 9th international conference ; proceedings
Theory and application of satisfiability testing : 14th international conference ; proceedings
Theory and applications of satisfiability testing : 11th international conference ; proceedings
Theory and applications of satisfiability testing : 8th international conference ; proceedings
Theory and applications of satisfiability testing : 12th international conference ; proceedings
Theory and applications of satisfiability testing : 13th international conference ; proceedings
Theory and applications of satisfiability testing : 15th international conference ; proceedings
26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)
Satisfiability thresholds for non-uniform random k-SAT
27th International Conference on Database Theory (ICDT 2024)
Theory and applications of satisfiability testing : 10th international conference ; proceedings
Theory and applications of satisfiability testing : 9th international conference ; proceedings
Theory and application of satisfiability testing : 14th international conference ; proceedings
Theory and applications of satisfiability testing : 11th international conference ; proceedings
Theory and applications of satisfiability testing : 8th international conference ; proceedings
Theory and applications of satisfiability testing : 12th international conference ; proceedings
Theory and applications of satisfiability testing : 13th international conference ; proceedings