Number of items: 1.
Kiesl, Benjamin and Rebola-Pardo, Adrián and Heule, Marijn J.H. and Biere, Armin
(2020)
Simulating Strong Practical Proof Systems with Extended Resolution.
Journal of Automated Reasoning, 64.
pp. 1247-1267.
ISSN 0168-7433
This list was generated on Sun Dec 22 03:22:42 2024 CET.