HyperSAT a new generator for 3-SAT instances

Proceedings Fourth International Conference on Computational Intelligence and Multimedia Applications. ICCIMA 2001 ◽

10.1109/iccima.2001.970487 ◽

2002 ◽

Author(s):

J. Segura-Salazar ◽

J. Torres-Jimenez

Download Full-text