@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, Distributed computing, Scheduling, Proofs of unsatisfiability, Automated planning, Hierarchical planning},
    pagetotal    = {234},
    school       = {Karlsruhe Institute of Technology (KIT)},
    language     = {english},
    url_PDF={https://satres.kikit.kit.edu/papers/dissertation-dpschreiber-2023.pdf},
    url_Slides={https://satres.kikit.kit.edu/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, Distributed computing, Scheduling, Proofs of unsatisfiability, Automated planning, Hierarchical planning","pagetotal":"234","school":"Karlsruhe Institute of Technology (KIT)","language":"english","url_pdf":"https://satres.kikit.kit.edu/papers/dissertation-dpschreiber-2023.pdf","url_slides":"https://satres.kikit.kit.edu/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, Distributed computing, Scheduling, Proofs of unsatisfiability, Automated planning, Hierarchical planning},\n pagetotal = {234},\n school = {Karlsruhe Institute of Technology (KIT)},\n language = {english},\n url_PDF={https://satres.kikit.kit.edu/papers/dissertation-dpschreiber-2023.pdf},\n url_Slides={https://satres.kikit.kit.edu/slides/2023-defense.pdf},\n}\n\n","author_short":["Schreiber, D."],"key":"schreiber2023scalable","id":"schreiber2023scalable","bibbaseid":"schreiber-scalablesatsolvinganditsapplication-2023","role":"author","urls":{" pdf":"https://satres.kikit.kit.edu/papers/dissertation-dpschreiber-2023.pdf"," slides":"https://satres.kikit.kit.edu/slides/2023-defense.pdf"},"keyword":["SAT","Distributed computing","Scheduling","Proofs of unsatisfiability","Automated planning","Hierarchical planning"],"metadata":{"authorlinks":{}},"downloads":19,"html":""},"bibtype":"phdthesis","biburl":"https://satres.kikit.kit.edu/publications.bib","dataSources":["iKAFc2SpsHLGJNN55","vY5emPje84NjvCwk9","GbAhpS9MGKje2yeDe","JaqTjZbpCCeemC5uq","2uduD5h8PKoztN54h","6oCu7DG43gGpaCnhj"],"keywords":["sat","distributed computing","scheduling","proofs of unsatisfiability","automated planning","hierarchical planning"],"search_terms":["scalable","sat","solving","application","schreiber"],"title":"Scalable SAT Solving and its Application","year":2023,"downloads":27}