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 @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://dominikschreiber.de/papers/2022-joss-mallob.pdf},
}
Downloads: 0
{"_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://dominikschreiber.de/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://dominikschreiber.de/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://dominikschreiber.de/papers/2022-joss-mallob.pdf"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://dominikschreiber.de/share/publications.bib","dataSources":["GbAhpS9MGKje2yeDe","vvHPGoxAbjPSzJtLK","fNbnZhh6uQMv7HBXF"],"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}