SAT-Based Learning of Computation Tree Logic. - Adrien Pommellet; Daniel Stan; Simon Scatton (IJCAR (1), 2024)