Limits of Methods for Solving Constrained Horn Clauses

01.12.2026 - 30.11.2028
Research funding project

People

Project leader

Institute

Grant funds

  • Österr. Akademie der Wissenschaften (National) DOC Austrian Academy of Sciences

Research focus

  • Fundamental Mathematics Research: 20%
  • Logic and Computation: 80%

Publications