Research
Research groups
Research grants
Adopting SAT strategy and technology in DQBF setting
ROYAL SOCIETY
March 2024 - September 2026
Lifting SAT technology to DQBF and its applications
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
March 2026 - March 2029