@inproceedings{schreiber2025mallob,
	title={{MallobSat} naps in the {SAT} Competition 2025},
	author={Schreiber, Dominik and Rigi-Luperti, Niccol\`o},
	booktitle={International SAT Competition 2025: Solver, Benchmark and Proof Checker Descriptions},
	year={2025},
	note={To appear},
	url_PDF={https://satres.kikit.kit.edu/papers/2025-mallob-naps.pdf},
	keywords={SAT, Distributed computing, Competition entry},
}

{"_id":"YHrpChmhrKumA8x9k","bibbaseid":"schreiber-rigiluperti-mallobsatnapsinthesatcompetition2025-2025","author_short":["Schreiber, D.","Rigi-Luperti, N."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"MallobSat naps in the SAT Competition 2025","author":[{"propositions":[],"lastnames":["Schreiber"],"firstnames":["Dominik"],"suffixes":[]},{"propositions":[],"lastnames":["Rigi-Luperti"],"firstnames":["Niccolò"],"suffixes":[]}],"booktitle":"International SAT Competition 2025: Solver, Benchmark and Proof Checker Descriptions","year":"2025","note":"To appear","url_pdf":"https://satres.kikit.kit.edu/papers/2025-mallob-naps.pdf","keywords":"SAT, Distributed computing, Competition entry","bibtex":"@inproceedings{schreiber2025mallob,\n\ttitle={{MallobSat} naps in the {SAT} Competition 2025},\n\tauthor={Schreiber, Dominik and Rigi-Luperti, Niccol\\`o},\n\tbooktitle={International SAT Competition 2025: Solver, Benchmark and Proof Checker Descriptions},\n\tyear={2025},\n\tnote={To appear},\n\turl_PDF={https://satres.kikit.kit.edu/papers/2025-mallob-naps.pdf},\n\tkeywords={SAT, Distributed computing, Competition entry},\n}\n\n","author_short":["Schreiber, D.","Rigi-Luperti, N."],"key":"schreiber2025mallob","id":"schreiber2025mallob","bibbaseid":"schreiber-rigiluperti-mallobsatnapsinthesatcompetition2025-2025","role":"author","urls":{" pdf":"https://satres.kikit.kit.edu/papers/2025-mallob-naps.pdf"},"keyword":["SAT","Distributed computing","Competition entry"],"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"https://satres.kikit.kit.edu/publications.bib","dataSources":["2uduD5h8PKoztN54h"],"keywords":["sat","distributed computing","competition entry"],"search_terms":["mallobsat","naps","sat","competition","2025","schreiber","rigi-luperti"],"title":"MallobSat naps in the SAT Competition 2025","year":2025,"downloads":1}