Research Research groups Algorithms research Research grants Adopting SAT strategy and technology in DQBF setting ROYAL SOCIETY March 2024 - March 2026