Mallob in the SAT Competition 2021. Schreiber, D. In International SAT Competition: Solver and Benchmark Descriptions, pages 38–39, 2021.
Mallob in the SAT Competition 2021 [pdf]Pdf  bibtex   

Downloads: 0