We contribute to research and developing tools to support automated reasoning.  The topic ranges from logic and artificial intelligence to applications, particularly to support the development of software and hardware. Our SAT, SMT and QBF solvers are world-renowned and rank at the top of international competitions. Our educational goal is to provide both a basic and advanced understanding to be able to apply logic in all fields of computer science and beyond.

See: http://fmv.jku.at, opens an external URL in a new window to learn more.