Locality in random SAT instances
- Giráldez-Cru, J.
- Levy, J.
ISSN: 1045-0823
ISBN: 9780999241103
Año de publicación: 2017
Volumen: 0
Páginas: 638-644
Tipo: Aportación congreso
Actas:
IJCAI International Joint Conference on Artificial Intelligence
