Group for automated reasoning
The Automated Reasoning Group (ARGO) conducts research in automated and interactive theorem proving, both in pure mathematics and in the formal verification of algorithms and software. The group works on various areas of automated reasoning, with its main research activities focusing on SAT, SMT, and CSP solvers and their applications (primarily to scheduling problems and verification), coherent logic, automated reasoning in geometry (automated and interactive proving of geometric theorems and automated solving of construction problems), applications of decision procedures, phase transitions, and other problems that connect automated reasoning with complexity theory, cryptography, as well as machine learning and data mining.
Detailed information about the group's research is available at the following page:
