Mitchell, David, Bart Selman et al., ‘Hard and easy distributions of SAT problems’, Proceedings of the tenth national conference on Artificial intelligence, 1992, pp 459–465.
conference paper
Mitchell, David, Bart Selman et al., ‘Hard and easy distributions of SAT problems’, Proceedings of the tenth national conference on Artificial intelligence, 1992, pp 459–465.
conference paper