Veronika Semmelrock

Orcid: 0009-0005-8435-1186

According to our database¹, Veronika Semmelrock authored at least 1 paper in 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Investigating the Grounding Bottleneck for a Large-Scale Configuration Problem: Existing Tools and Constraint-Aware Guessing.

[DOI]

Proceedings of the Proceedings 41st International Conference on Logic Programming, January, 2025