@inproceedings{akram2024optimal,
	title={Optimal Parallel Task Scheduling via {SAT}},
	author={Akram, Matthew and Schreiber, Dominik},
	booktitle={International SAT Competition 2024: Solver and Benchmark 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},
}

{"_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 and Benchmark 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","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 and Benchmark 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}\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"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"https://satres.kikit.kit.edu//publications.bib","dataSources":["vvHPGoxAbjPSzJtLK","GbAhpS9MGKje2yeDe","JaqTjZbpCCeemC5uq","2uduD5h8PKoztN54h","6oCu7DG43gGpaCnhj"],"keywords":[],"search_terms":["optimal","parallel","task","scheduling","via","sat","akram","schreiber"],"title":"Optimal Parallel Task Scheduling via SAT","year":2024,"downloads":1}