Mallob in the SAT Competition 2021
semanticscholar（2021）
Abstract
We describe our contribution to the parallel and cloud tracks of the SAT Competition 2021. Notable differences over last year’s submission include additional diversification, a simple kind of memory awareness, lock-free clause import in Lingeling, and updated parametrization of clause sharing.
MoreTranslated text
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined