Computer Science – Discrete Mathematics
Scientist
Computer Science
Discrete Mathematics
Scientist
Optimal Base Encodings for Pseudo-Boolean Constraints
Polynomial Interpretations for Higher-Order Rewriting
SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers
No associations
LandOfFree
Carsten Fuhs does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Carsten Fuhs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Carsten Fuhs will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-123578