CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT

von Goré, Rajeev
Veröffentlicht in TABLEAUX (30. : 2021 : Online) Automated reasoning with analytic tableaux and related methods (2021)