Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2024 |
Sprache | Englisch |
Identifikator | KITopen-ID: 1000174127 |
HGF-Programm | 46.21.02 (POF IV, LK 01) Cross-Domain ATMLs and Research Groups |
Erschienen in | 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024), Editors: Supratik Chakraborty, IIT Bombay, India; Jie-Hong Roland Jiang, National Taiwan University, Taipei, Taiwan |
Veranstaltung | 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024), Pune, Indien, 21.08.2024 – 24.08.2024 |
Verlag | Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI) |
Seiten | 18:1-18:10 |
Serie | Leibniz International Proceedings in Informatics (LIPIcs) ; 305 |
Externe Relationen | Supplement Forschungsdaten/Software Forschungsdaten/Software Forschungsdaten/Software Siehe auch |
Schlagwörter | Maintenance and Distribution of Benchmark Instances and their Features, Theory of computation → Logic, Theory of computation → Design and analysis of algorithms, Information systems → Information integration |
Nachgewiesen in | Scopus |
Relationen in KITopen |