Iterative AWC for distributed SAT
- Giráldez-Cru, J.
- Lee, J.H.M.
- Meseguer, P.
ISSN: 0922-6389
ISBN: 9781614998051
Argitalpen urtea: 2017
Alea: 300
Orrialdeak: 56-65
Mota: Biltzar ekarpena
ISSN: 0922-6389
ISBN: 9781614998051
Argitalpen urtea: 2017
Alea: 300
Orrialdeak: 56-65
Mota: Biltzar ekarpena