@unpublished{akram2024optimal,
	title={Optimal Parallel Task Scheduling via {SAT}},
	author={Akram, Matthew and Schreiber, Dominik},
	note={{International SAT Competition 2024: Solver and Benchmark Descriptions}, to appear},
	year={2024},
	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":"unpublished","type":"unpublished","title":"Optimal Parallel Task Scheduling via SAT","author":[{"propositions":[],"lastnames":["Akram"],"firstnames":["Matthew"],"suffixes":[]},{"propositions":[],"lastnames":["Schreiber"],"firstnames":["Dominik"],"suffixes":[]}],"note":"International SAT Competition 2024: Solver and Benchmark Descriptions, to appear","year":"2024","url_pdf":"https://satres.kikit.kit.edu/papers/2024-isc-pcmax.pdf","bibtex":"@unpublished{akram2024optimal,\n\ttitle={Optimal Parallel Task Scheduling via {SAT}},\n\tauthor={Akram, Matthew and Schreiber, Dominik},\n\tnote={{International SAT Competition 2024: Solver and Benchmark Descriptions}, to appear},\n\tyear={2024},\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":{" pdf":"https://satres.kikit.kit.edu/papers/2024-isc-pcmax.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"unpublished","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}