SAT Encoding of Partial Ordering Models for Graph Coloring Problems. - Daniel Faber; Adalat Jabrayilov; Petra Mutzel (SAT, 2024)

Mining legal arguments in court decisions. - Ivan Habernal; Daniel Faber; Nicola Recchia; Sebastian Bretthauer; Iryna Gurevych; Indra Spiecker genannt Döhmann; Christoph Burchard (Artif. Intell. Law, 2024)

A Customized SAT-based Solver for Graph Coloring. - Timo Brand; Daniel Faber; Stephan Held; Petra Mutzel (CoRR, 2025)