Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications | lit.salon