Satune: synthesizing efficient SAT encoders.

Wed, 01 Jan 2020 00:00:00 +0100

Hamed Gorjiara, Guoqing Harry Xu , Brian Demsky:
Satune: synthesizing efficient SAT encoders. Proc. ACM Program. Lang. 4(OOPSLA): 146:1-146:32 (2020)