An Improved Satisfiable SAT Generator Based on Random Subgraph Isomorphism.

Calin Anton

Browse the full AI paper archive.