A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem.

Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail

Browse the full IJCAI paper archive.