25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783959772426
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
LIPIcs - Leibniz International Proceedings in Informatics ; Volume 236
- Event
-
Veröffentlichung
- (where)
-
Wadern
- (who)
-
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
- (when)
-
2022
- Contributor
-
Meel, Kuldeep S.
Strichman, Ofer
- URN
-
urn:nbn:de:0030-drops-166736
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:45 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Meel, Kuldeep S.
- Strichman, Ofer
- Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Time of origin
- 2022
Other Objects (12)
25th International Conference on Database Theory (ICDT 2022)
Testing software and systems : 25th IFIP EG 6.1 international conference ; proceedings
27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)
26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)
Concurrency theory : 25th international conference ; proceedings
Logic programming : 25th international conference ; proceedings
Computer aided verification : 25th international conference ; proceedings
Object-oriented programming : 25th European conference ; proceedings
Applying advanced SAT-based techniques to circuit testing
Bond in concrete - bond, anchorage, detailing : 5th International Conference : Stuttgart, Germany, 25th - 27th July 2022 : proceedings
Advanced information systems engineering : 25th international conference ; proceedings
Architecture of computing systems : 25th international Conference ; proceedings
25th International Conference on Database Theory (ICDT 2022)
Testing software and systems : 25th IFIP EG 6.1 international conference ; proceedings
27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)
26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)
Concurrency theory : 25th international conference ; proceedings
Logic programming : 25th international conference ; proceedings
Computer aided verification : 25th international conference ; proceedings
Object-oriented programming : 25th European conference ; proceedings
Applying advanced SAT-based techniques to circuit testing
Bond in concrete - bond, anchorage, detailing : 5th International Conference : Stuttgart, Germany, 25th - 27th July 2022 : proceedings
Advanced information systems engineering : 25th international conference ; proceedings
Architecture of computing systems : 25th international Conference ; proceedings
25th International Conference on Database Theory (ICDT 2022)
Testing software and systems : 25th IFIP EG 6.1 international conference ; proceedings
27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)
26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)
Concurrency theory : 25th international conference ; proceedings
Logic programming : 25th international conference ; proceedings
Computer aided verification : 25th international conference ; proceedings
Object-oriented programming : 25th European conference ; proceedings
Applying advanced SAT-based techniques to circuit testing
Bond in concrete - bond, anchorage, detailing : 5th International Conference : Stuttgart, Germany, 25th - 27th July 2022 : proceedings
Advanced information systems engineering : 25th international conference ; proceedings