MallobSat and MallobSat-ImpCheck in the SAT Competition 2024. Schreiber, D. In International SAT Competition 2024: Solver and Benchmark Descriptions, pages 21–22, 2024.
![MallobSat and MallobSat-ImpCheck in the SAT Competition 2024 [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper ![MallobSat and MallobSat-ImpCheck in the SAT Competition 2024 [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex 1 download
Paper Pdf bibtex 1 download @inproceedings{schreiber2024mallob,
title={{MallobSat} and {MallobSat-ImpCheck} in the {SAT} Competition 2024},
author={Schreiber, Dominik},
booktitle={International SAT Competition 2024: Solver and Benchmark Descriptions},
year={2024},
pages={21--22},
url={http://hdl.handle.net/10138/584822},
url_PDF={https://satres.kikit.kit.edu/papers/2024-mallob.pdf},
}Downloads: 1
{"_id":"oD6EqZJnsXgWetCE4","bibbaseid":"schreiber-mallobsatandmallobsatimpcheckinthesatcompetition2024-2024","author_short":["Schreiber, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"MallobSat and MallobSat-ImpCheck in the SAT Competition 2024","author":[{"propositions":[],"lastnames":["Schreiber"],"firstnames":["Dominik"],"suffixes":[]}],"booktitle":"International SAT Competition 2024: Solver and Benchmark Descriptions","year":"2024","pages":"21–22","url":"http://hdl.handle.net/10138/584822","url_pdf":"https://satres.kikit.kit.edu/papers/2024-mallob.pdf","bibtex":"@inproceedings{schreiber2024mallob,\n\ttitle={{MallobSat} and {MallobSat-ImpCheck} in the {SAT} Competition 2024},\n\tauthor={Schreiber, Dominik},\n\tbooktitle={International SAT Competition 2024: Solver and Benchmark Descriptions},\n\tyear={2024},\n\tpages={21--22},\n\turl={http://hdl.handle.net/10138/584822},\n\turl_PDF={https://satres.kikit.kit.edu/papers/2024-mallob.pdf},\n}\n\n","author_short":["Schreiber, D."],"key":"schreiber2024mallob","id":"schreiber2024mallob","bibbaseid":"schreiber-mallobsatandmallobsatimpcheckinthesatcompetition2024-2024","role":"author","urls":{"Paper":"http://hdl.handle.net/10138/584822"," pdf":"https://satres.kikit.kit.edu/papers/2024-mallob.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"https://satres.kikit.kit.edu//publications.bib","dataSources":["GbAhpS9MGKje2yeDe","vvHPGoxAbjPSzJtLK","fNbnZhh6uQMv7HBXF","JaqTjZbpCCeemC5uq","2uduD5h8PKoztN54h","6oCu7DG43gGpaCnhj"],"keywords":[],"search_terms":["mallobsat","mallobsat","impcheck","sat","competition","2024","schreiber"],"title":"MallobSat and MallobSat-ImpCheck in the SAT Competition 2024","year":2024,"downloads":1}