Author:
Publication: Artificial Intelligence
SAT-based explicit LTLf satisfiability checking
Dashed strings for string constraint solving