CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT. - Rajeev Goré; Cormac Kikkert (TABLEAUX, 2021)