Skalierbares SAT Solving und dessen Anwendung. Schreiber, D. In Ausgezeichnete Informatikdissertationen 2023 (Band 24), pages 281–290, Bonn, 2024. Gesellschaft für Informatik e.V..
![Skalierbares SAT Solving und dessen Anwendung [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf Slides doi bibtex
Pdf Slides doi bibtex @inproceedings{schreiber2024skalierbares,
title={Skalierbares {SAT} {Solving} und dessen {Anwendung}},
author={Schreiber, Dominik},
booktitle={Ausgezeichnete Informatikdissertationen 2023 (Band 24)},
year={2024},
doi={10.18420/Diss2023-28},
publisher={Gesellschaft für Informatik e.V.},
address={Bonn},
isbn={978-3-88579-982-5},
pages={281--290},
url_PDF={https://satres.kikit.kit.edu/papers/2024-lni-diss.pdf},
url_Slides={https://satres.kikit.kit.edu/slides/2024-lni-diss.pdf},
}Downloads: 0
{"_id":"QGTToCh8dyaK2yQYA","bibbaseid":"schreiber-skalierbaressatsolvingunddessenanwendung-2024","author_short":["Schreiber, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Skalierbares SAT Solving und dessen Anwendung","author":[{"propositions":[],"lastnames":["Schreiber"],"firstnames":["Dominik"],"suffixes":[]}],"booktitle":"Ausgezeichnete Informatikdissertationen 2023 (Band 24)","year":"2024","doi":"10.18420/Diss2023-28","publisher":"Gesellschaft für Informatik e.V.","address":"Bonn","isbn":"978-3-88579-982-5","pages":"281–290","url_pdf":"https://satres.kikit.kit.edu/papers/2024-lni-diss.pdf","url_slides":"https://satres.kikit.kit.edu/slides/2024-lni-diss.pdf","bibtex":"@inproceedings{schreiber2024skalierbares,\n\ttitle={Skalierbares {SAT} {Solving} und dessen {Anwendung}},\n\tauthor={Schreiber, Dominik},\n\tbooktitle={Ausgezeichnete Informatikdissertationen 2023 (Band 24)},\n\tyear={2024},\n\tdoi={10.18420/Diss2023-28},\n\tpublisher={Gesellschaft für Informatik e.V.},\n\taddress={Bonn},\n\tisbn={978-3-88579-982-5},\n\tpages={281--290},\n\turl_PDF={https://satres.kikit.kit.edu/papers/2024-lni-diss.pdf},\n\turl_Slides={https://satres.kikit.kit.edu/slides/2024-lni-diss.pdf},\n}\n","author_short":["Schreiber, D."],"key":"schreiber2024skalierbares","id":"schreiber2024skalierbares","bibbaseid":"schreiber-skalierbaressatsolvingunddessenanwendung-2024","role":"author","urls":{" pdf":"https://satres.kikit.kit.edu/papers/2024-lni-diss.pdf"," slides":"https://satres.kikit.kit.edu/slides/2024-lni-diss.pdf"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://satres.kikit.kit.edu/publications.bib","dataSources":["GbAhpS9MGKje2yeDe","JaqTjZbpCCeemC5uq","2uduD5h8PKoztN54h","6oCu7DG43gGpaCnhj"],"keywords":[],"search_terms":["skalierbares","sat","solving","und","dessen","anwendung","schreiber"],"title":"Skalierbares SAT Solving und dessen Anwendung","year":2024,"downloads":1}