Mallob in the SAT Competition 2022. Schreiber, D. In International SAT Competition: Benchmark and Solver Descriptions, pages 46–47, 2022. Pdf bibtex 1 download @InProceedings{schreiber2022mallob,
author = {Schreiber, Dominik},
title = {Mallob in the {SAT} Competition 2022},
booktitle = {International SAT Competition: Benchmark and Solver Descriptions},
year = {2022},
pages = {46--47},
url_PDF={https://dominikschreiber.de/papers/2022-mallob.pdf},
}
Downloads: 1
{"_id":"WTxmEBYecMAcsmpZW","bibbaseid":"schreiber-mallobinthesatcompetition2022-2022","author_short":["Schreiber, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Schreiber"],"firstnames":["Dominik"],"suffixes":[]}],"title":"Mallob in the SAT Competition 2022","booktitle":"International SAT Competition: Benchmark and Solver Descriptions","year":"2022","pages":"46–47","url_pdf":"https://dominikschreiber.de/papers/2022-mallob.pdf","bibtex":"@InProceedings{schreiber2022mallob,\n author = {Schreiber, Dominik},\n title = {Mallob in the {SAT} Competition 2022},\n booktitle = {International SAT Competition: Benchmark and Solver Descriptions},\n year = {2022},\n pages = {46--47},\n url_PDF={https://dominikschreiber.de/papers/2022-mallob.pdf},\n}\n\n","author_short":["Schreiber, D."],"key":"schreiber2022mallob","id":"schreiber2022mallob","bibbaseid":"schreiber-mallobinthesatcompetition2022-2022","role":"author","urls":{" pdf":"https://dominikschreiber.de/papers/2022-mallob.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"https://dominikschreiber.de/share/publications.bib","dataSources":["GbAhpS9MGKje2yeDe","vvHPGoxAbjPSzJtLK","fNbnZhh6uQMv7HBXF"],"keywords":[],"search_terms":["mallob","sat","competition","2022","schreiber"],"title":"Mallob in the SAT Competition 2022","year":2022,"downloads":1}