Yasmine Briefs

According to our database, Yasmine Briefs authored at least 3 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

A Two-Watched Literal Scheme for First-Order Logic.

Yasmine Briefs, Martin Bromberger, Tobias Gehl, Lorenz Leutgeb, Simon Schwarz, Christoph Weidenbach

CoRR, May, 2026

2025

Faster Generic Identification in Tree-Shaped Structural Causal Models.

Yasmine Briefs, Markus Bläser

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2025, 2025

2023

KBO Constraint Solving Revisited.

Yasmine Briefs, Hendrik Leidinger, Christoph Weidenbach

Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023