We stand with Ukraine  

Daniel Faber

According to our database1, Daniel Faber authored at least 5 papers between 2024 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
A Customized SAT-based Solver for Graph Coloring.
[BibTeX]
[DOI]
Timo Brand
,
Daniel Faber
,
Stephan Held
,
Petra Mutzel
Proceedings of the 28th Symposium on Algorithm Engineering and Experiments, 2026

2025
A Customized SAT-based Solver for Graph Coloring.
[BibTeX]
[DOI]
Timo Brand
,
Daniel Faber
,
Stephan Held
,
Petra Mutzel
Dataset, October, 2025

A Customized SAT-based Solver for Graph Coloring.
[BibTeX]
[DOI]
Timo Brand
,
Daniel Faber
,
Stephan Held
,
Petra Mutzel
Dataset, October, 2025

2024
Mining legal arguments in court decisions.
[BibTeX]
[DOI]
Ivan Habernal
,
Daniel Faber
,
Nicola Recchia
,
Sebastian Bretthauer
,
Iryna Gurevych
,
Indra Spiecker genannt Döhmann
,
Christoph Burchard
Artif. Intell. Law, September, 2024

SAT Encoding of Partial Ordering Models for Graph Coloring Problems.
[BibTeX]
[DOI]
Daniel Faber
,
Adalat Jabrayilov
,
Petra Mutzel
Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024


  Loading...