Engineering HordeSat towards malleability: mallob-mono in the SAT 2020 cloud track. Schreiber, D. In International SAT Competition: Benchmark and Solver Descriptions, pages 45–46, 2020.
![Engineering HordeSat towards malleability: mallob-mono in the SAT 2020 cloud track [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf bibtex @InProceedings{schreiber2020engineering,
author = {Schreiber, Dominik},
title = {Engineering {HordeSat} towards malleability: mallob-mono in the {SAT} 2020 cloud track},
booktitle = {International SAT Competition: Benchmark and Solver Descriptions},
year = {2020},
pages = {45--46},
url_PDF={https://satres.kikit.kit.edu/papers/2020-mallob-mono.pdf},
}Downloads: 0
{"_id":"wzrgGs8RSEFiZHpNn","bibbaseid":"schreiber-engineeringhordesattowardsmalleabilitymallobmonointhesat2020cloudtrack-2020","author_short":["Schreiber, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Schreiber"],"firstnames":["Dominik"],"suffixes":[]}],"title":"Engineering HordeSat towards malleability: mallob-mono in the SAT 2020 cloud track","booktitle":"International SAT Competition: Benchmark and Solver Descriptions","year":"2020","pages":"45–46","url_pdf":"https://satres.kikit.kit.edu/papers/2020-mallob-mono.pdf","bibtex":"@InProceedings{schreiber2020engineering,\n author = {Schreiber, Dominik},\n title = {Engineering {HordeSat} towards malleability: mallob-mono in the {SAT} 2020 cloud track},\n booktitle = {International SAT Competition: Benchmark and Solver Descriptions},\n year = {2020},\n pages = {45--46},\n url_PDF={https://satres.kikit.kit.edu/papers/2020-mallob-mono.pdf},\n}\n\n","author_short":["Schreiber, D."],"key":"schreiber2020engineering","id":"schreiber2020engineering","bibbaseid":"schreiber-engineeringhordesattowardsmalleabilitymallobmonointhesat2020cloudtrack-2020","role":"author","urls":{" pdf":"https://satres.kikit.kit.edu/papers/2020-mallob-mono.pdf"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://satres.kikit.kit.edu/publications.bib","dataSources":["GbAhpS9MGKje2yeDe","vvHPGoxAbjPSzJtLK","fNbnZhh6uQMv7HBXF","JaqTjZbpCCeemC5uq","2uduD5h8PKoztN54h","6oCu7DG43gGpaCnhj"],"keywords":[],"search_terms":["engineering","hordesat","towards","malleability","mallob","mono","sat","2020","cloud","track","schreiber"],"title":"Engineering HordeSat towards malleability: mallob-mono in the SAT 2020 cloud track","year":2020}