SAT-Based Automata Construction for LTL over Finite Traces | IEEE Conference Publication | IEEE Xplore