Optimal Parallel Task Scheduling via SAT. Akram, M. & Schreiber, D. In International SAT Competition 2024: Solver, Benchmark and Proof Checker Descriptions, pages 30–31, 2024.
![Optimal Parallel Task Scheduling via SAT [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper ![Optimal Parallel Task Scheduling via SAT [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex 1 download
Paper Pdf bibtex 1 download @inproceedings{akram2024optimal,
title={Optimal Parallel Task Scheduling via {SAT}},
author={Akram, Matthew and Schreiber, Dominik},
booktitle={International SAT Competition 2024: Solver, Benchmark and Proof Checker Descriptions},
year={2024},
pages={30--31},
url={http://hdl.handle.net/10138/584822},
url_PDF={https://satres.kikit.kit.edu/papers/2024-isc-pcmax.pdf},
keywords={SAT, Benchmark description},
}Downloads: 1
{"_id":"jYjCt4dxgCmkpFBpK","bibbaseid":"akram-schreiber-optimalparalleltaskschedulingviasat-2024","author_short":["Akram, M.","Schreiber, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Optimal Parallel Task Scheduling via SAT","author":[{"propositions":[],"lastnames":["Akram"],"firstnames":["Matthew"],"suffixes":[]},{"propositions":[],"lastnames":["Schreiber"],"firstnames":["Dominik"],"suffixes":[]}],"booktitle":"International SAT Competition 2024: Solver, Benchmark and Proof Checker Descriptions","year":"2024","pages":"30–31","url":"http://hdl.handle.net/10138/584822","url_pdf":"https://satres.kikit.kit.edu/papers/2024-isc-pcmax.pdf","keywords":"SAT, Benchmark description","bibtex":"@inproceedings{akram2024optimal,\n\ttitle={Optimal Parallel Task Scheduling via {SAT}},\n\tauthor={Akram, Matthew and Schreiber, Dominik},\n\tbooktitle={International SAT Competition 2024: Solver, Benchmark and Proof Checker Descriptions},\n\tyear={2024},\n\tpages={30--31},\n\turl={http://hdl.handle.net/10138/584822},\n\turl_PDF={https://satres.kikit.kit.edu/papers/2024-isc-pcmax.pdf},\n\tkeywords={SAT, Benchmark description},\n}\n\n","author_short":["Akram, M.","Schreiber, D."],"key":"akram2024optimal","id":"akram2024optimal","bibbaseid":"akram-schreiber-optimalparalleltaskschedulingviasat-2024","role":"author","urls":{"Paper":"http://hdl.handle.net/10138/584822"," pdf":"https://satres.kikit.kit.edu/papers/2024-isc-pcmax.pdf"},"keyword":["SAT","Benchmark description"],"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"https://satres.kikit.kit.edu/publications.bib","dataSources":["vvHPGoxAbjPSzJtLK","GbAhpS9MGKje2yeDe","JaqTjZbpCCeemC5uq","2uduD5h8PKoztN54h","6oCu7DG43gGpaCnhj"],"keywords":["sat","benchmark description"],"search_terms":["optimal","parallel","task","scheduling","via","sat","akram","schreiber"],"title":"Optimal Parallel Task Scheduling via SAT","year":2024,"downloads":2}