Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications.rarHigh Speed Download
File size : 6 MB