Swap Distance

MaRDI QIDQ7361034FDO

Authors Manuel Eberl

Publication date 22 January 2026

Cites work

• DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
• MUSer2: an efficient MUS extractor

Cited in

(1)

• The Impossibility of Strategyproof Rank Aggregation

This page was built for software: Swap Distance