Mallob: Scalable SAT Solving On Demand With Decentralized Job Scheduling. Sanders, P. & Schreiber, D. Journal of Open Source Software (JOSS), 7(76):4591, 2022. Pdf doi bibtex 2 downloads @Article{sanders2022mallob,
author = {Sanders, Peter and Schreiber, Dominik},
title = {Mallob: Scalable {SAT} Solving On Demand With Decentralized Job Scheduling},
journal = {Journal of Open Source Software (JOSS)},
year = {2022},
volume = {7},
number = {76},
pages = {4591},
doi = {10.21105/joss.04591},
url_PDF={https://satres.kikit.kit.edu/papers/2022-joss-mallob.pdf},
}
Downloads: 2
{"_id":"q2uEjFHcXoQsBFGFD","bibbaseid":"sanders-schreiber-mallobscalablesatsolvingondemandwithdecentralizedjobscheduling-2022","author_short":["Sanders, P.","Schreiber, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Sanders"],"firstnames":["Peter"],"suffixes":[]},{"propositions":[],"lastnames":["Schreiber"],"firstnames":["Dominik"],"suffixes":[]}],"title":"Mallob: Scalable SAT Solving On Demand With Decentralized Job Scheduling","journal":"Journal of Open Source Software (JOSS)","year":"2022","volume":"7","number":"76","pages":"4591","doi":"10.21105/joss.04591","url_pdf":"https://satres.kikit.kit.edu/papers/2022-joss-mallob.pdf","bibtex":"@Article{sanders2022mallob,\n\tauthor = {Sanders, Peter and Schreiber, Dominik},\n\ttitle = {Mallob: Scalable {SAT} Solving On Demand With Decentralized Job Scheduling},\n\tjournal = {Journal of Open Source Software (JOSS)},\n\tyear = {2022},\n\tvolume = {7},\n\tnumber = {76},\n\tpages = {4591},\n\tdoi = {10.21105/joss.04591},\n\turl_PDF={https://satres.kikit.kit.edu/papers/2022-joss-mallob.pdf},\n}\n\n","author_short":["Sanders, P.","Schreiber, D."],"key":"sanders2022mallob","id":"sanders2022mallob","bibbaseid":"sanders-schreiber-mallobscalablesatsolvingondemandwithdecentralizedjobscheduling-2022","role":"author","urls":{" pdf":"https://satres.kikit.kit.edu/papers/2022-joss-mallob.pdf"},"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"article","biburl":"https://satres.kikit.kit.edu//publications.bib","dataSources":["GbAhpS9MGKje2yeDe","vvHPGoxAbjPSzJtLK","fNbnZhh6uQMv7HBXF","JaqTjZbpCCeemC5uq","2uduD5h8PKoztN54h"],"keywords":[],"search_terms":["mallob","scalable","sat","solving","demand","decentralized","job","scheduling","sanders","schreiber"],"title":"Mallob: Scalable SAT Solving On Demand With Decentralized Job Scheduling","year":2022,"downloads":2}