A modularity-based random SAT instances generator
- Giráldez-Cru, J.
- Levy, J.
ISSN: 1045-0823
ISBN: 9781577357384
Argitalpen urtea: 2015
Alea: 2015-January
Orrialdeak: 1952-1958
Mota: Biltzar ekarpena
Aktak:
IJCAI International Joint Conference on Artificial Intelligence