%0 Journal Article %A Bonet, Maria Luisa %A Buss, Sam %A Ignatiev, Alexey %A Morgado, Antonio %A Marques-Silva, Joao %D 2021 %J Artificial Intelligence %N C %P 103552 %T Propositional proof systems based on maximum satisfiability %V 300