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