Scholar
André Schidler
Google Scholar ID: 24i4oV0AAAAJ
University of Freiburg
algorithms
logic
SAT
logic in machine learning
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
267
H-index
9
i10-index
9
Publications
20
Co-authors
8
list available
Contact
No contact links provided.
Publications
1 items
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
2025
Cited
0
Resume (English only)
Co-authors
8 total
Stefan Szeider
Professor, Head of Algorithms and Complexity Group, TU Wien, Vienna, Austria
Robert Ganian
TU Wien
Markus Hecher
CNRS, Artois University (CRIL)
Johannes K. Fichte
Linköping University
Manuel Sorge
TU Wien
Co-author 6
Co-author 7
Sebastian Ordyniak
University of Leeds
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up
