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