| layout | title | mission |
|---|---|---|
default |
home |
The mission of the Center for Automated Reasoning (Centaur) is to accelerate the state of the art in automated reasoning research by creating new theory and algorithms, building world-class tools, and creating automated reasoning-based solutions to real-world problems. |