Satune: synthesizing efficient SAT encoders.

Hamed Gorjiara Guoqing Harry Xu Brian Demsky

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

data sets
search algorithm
artificial intelligence
real time
neural network
decision trees
satisfiability problem