We make the measurability of our R&D results one of our primary tasks. We want to show to the world that semantic technologies are becoming reality. Find out more about our results and our spin-off companies.
SAT Encodings of State-Space Reachability Problems in Numeric Domains
Book title:
Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI'07)
Contact person in charge.