Braun Urs-Benedict

Orcid: 0009-0009-4907-5293

According to our database¹, Braun Urs-Benedict authored at least 1 paper in 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Can SAT Solvers Keep Up With the Linux Kernel's Feature Model?

[DOI]

Dataset, January, 2026