Published May 12, 2026
| Version v1
Software
Open
Artefact for: "Trimming Pseudo-Boolean Proofs"
Authors/Creators
-
1.
Arba Minch University
-
2.
KU Leuven
- 3. Vrije Universiteit Brussel
-
4.
European X-Ray Free-Electron Laser
-
5.
University of Glasgow
-
6.
Lund University
- 7. University of Copenhagen
-
8.
TU Wien