Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications