Theory and Applications of Satisfiability Testing - SAT 2020 - Numerisk analys - ebok (9783030518257)