Munich
Germany
3
2025-06-19
The entities that hold a legal rights for patent applications filed by inventor KIESL-REITER Benjamin:
Benjamin KIESL-REITER from Munich, DE has applied for patents for these inventions. The list has both pending applications and granted patents:
LARGE LANGUAGE MODEL VERIFICATION
#2 | 2024-10-03CLOUD-BASED QUANTUM COMPILATION SERVICE FOR QUANTUM CIRCUIT MAPPING USING SAT SOLVING TECHNIQUES
#3 | 2024-06-20AN EAGER SAT-BASED SOLVER FOR A QUANTIFIER-FREE THEORY OF STRINGS AND BIT VECTORS
6695371 ⎘