@phdthesis{schreiber2023scalable,
    author       = {Schreiber, Dominik},
    year         = {2023},
    title        = {Scalable SAT Solving and its Application},
    doi          = {10.5445/IR/1000165224},
    publisher    = {{Karlsruhe Institute of Technology (KIT)}},
    keywords     = {SAT solving, Distributed algorithms, Automated planning, Proofs, Automated reasoning, High-performance computing, Propositional logic, Symbolic AI, Algorithm engineering},
    pagetotal    = {234},
    school       = {Karlsruhe Institute of Technology (KIT)},
    language     = {english},
    url_PDF={https://dominikschreiber.de/papers/dissertation-dpschreiber-2023.pdf},
    url_Slides={https://dominikschreiber.de/slides/2023-defense.pdf},
}

{"_id":"SttokcSNQXmcBzSpo","bibbaseid":"schreiber-scalablesatsolvinganditsapplication-2023","author_short":["Schreiber, D."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","author":[{"propositions":[],"lastnames":["Schreiber"],"firstnames":["Dominik"],"suffixes":[]}],"year":"2023","title":"Scalable SAT Solving and its Application","doi":"10.5445/IR/1000165224","publisher":"Karlsruhe Institute of Technology (KIT)","keywords":"SAT solving, Distributed algorithms, Automated planning, Proofs, Automated reasoning, High-performance computing, Propositional logic, Symbolic AI, Algorithm engineering","pagetotal":"234","school":"Karlsruhe Institute of Technology (KIT)","language":"english","url_pdf":"https://dominikschreiber.de/papers/dissertation-dpschreiber-2023.pdf","url_slides":"https://dominikschreiber.de/slides/2023-defense.pdf","bibtex":"@phdthesis{schreiber2023scalable,\n author = {Schreiber, Dominik},\n year = {2023},\n title = {Scalable SAT Solving and its Application},\n doi = {10.5445/IR/1000165224},\n publisher = {{Karlsruhe Institute of Technology (KIT)}},\n keywords = {SAT solving, Distributed algorithms, Automated planning, Proofs, Automated reasoning, High-performance computing, Propositional logic, Symbolic AI, Algorithm engineering},\n pagetotal = {234},\n school = {Karlsruhe Institute of Technology (KIT)},\n language = {english},\n url_PDF={https://dominikschreiber.de/papers/dissertation-dpschreiber-2023.pdf},\n url_Slides={https://dominikschreiber.de/slides/2023-defense.pdf},\n}\n\n","author_short":["Schreiber, D."],"key":"schreiber2023scalable","id":"schreiber2023scalable","bibbaseid":"schreiber-scalablesatsolvinganditsapplication-2023","role":"author","urls":{" pdf":"https://dominikschreiber.de/papers/dissertation-dpschreiber-2023.pdf"," slides":"https://dominikschreiber.de/slides/2023-defense.pdf"},"keyword":["SAT solving","Distributed algorithms","Automated planning","Proofs","Automated reasoning","High-performance computing","Propositional logic","Symbolic AI","Algorithm engineering"],"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"phdthesis","biburl":"https://dominikschreiber.de/share/publications.bib","dataSources":["iKAFc2SpsHLGJNN55","vY5emPje84NjvCwk9","GbAhpS9MGKje2yeDe"],"keywords":["sat solving","distributed algorithms","automated planning","proofs","automated reasoning","high-performance computing","propositional logic","symbolic ai","algorithm engineering"],"search_terms":["scalable","sat","solving","application","schreiber"],"title":"Scalable SAT Solving and its Application","year":2023,"downloads":1}