Implementing an action language using a SAT solver | IEEE Conference Publication | IEEE Xplore