Mallob(32,64,1600) in the SAT Competition 2023. Schreiber, D. In International SAT Competition: Solver, Benchmark and Proof Checker Descriptions, pages 46–47, 2023.
Pdf bibtex @InProceedings{schreiber2023mallob,
author = {Schreiber, Dominik},
title = {Mallob(32,64,1600) in the {SAT} Competition 2023},
booktitle = {International SAT Competition: Solver, Benchmark and Proof Checker Descriptions},
year = {2023},
pages = {46--47},
url_PDF={https://satres.kikit.kit.edu/papers/2023-mallob.pdf},
keywords={SAT, Distributed computing, Competition entry},
}
Downloads: 0
{"_id":"QyAGFiKBMJYXANofX","bibbaseid":"schreiber-mallob32641600inthesatcompetition2023-2023","author_short":["Schreiber, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Schreiber"],"firstnames":["Dominik"],"suffixes":[]}],"title":"Mallob(32,64,1600) in the SAT Competition 2023","booktitle":"International SAT Competition: Solver, Benchmark and Proof Checker Descriptions","year":"2023","pages":"46–47","url_pdf":"https://satres.kikit.kit.edu/papers/2023-mallob.pdf","keywords":"SAT, Distributed computing, Competition entry","bibtex":"@InProceedings{schreiber2023mallob,\n author = {Schreiber, Dominik},\n title = {Mallob(32,64,1600) in the {SAT} Competition 2023},\n booktitle = {International SAT Competition: Solver, Benchmark and Proof Checker Descriptions},\n year = {2023},\n pages = {46--47},\n url_PDF={https://satres.kikit.kit.edu/papers/2023-mallob.pdf},\n keywords={SAT, Distributed computing, Competition entry},\n}\n\n","author_short":["Schreiber, D."],"key":"schreiber2023mallob","id":"schreiber2023mallob","bibbaseid":"schreiber-mallob32641600inthesatcompetition2023-2023","role":"author","urls":{" pdf":"https://satres.kikit.kit.edu/papers/2023-mallob.pdf"},"keyword":["SAT","Distributed computing","Competition entry"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://satres.kikit.kit.edu/publications.bib","dataSources":["GbAhpS9MGKje2yeDe","vvHPGoxAbjPSzJtLK","fNbnZhh6uQMv7HBXF","JaqTjZbpCCeemC5uq","2uduD5h8PKoztN54h","6oCu7DG43gGpaCnhj"],"keywords":["sat","distributed computing","competition entry"],"search_terms":["mallob","1600","sat","competition","2023","schreiber"],"title":"Mallob(32,64,1600) in the SAT Competition 2023","year":2023,"downloads":1}