Optimal Conjunctive Normal Form Encoding for Symbolic Execution.

Weiyu Pan, Ziqi Shuai, Ke Ma, Luyao Liu

Browse the full SEKE paper archive.