SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning | IEEE Conference Publication | IEEE Xplore