Orlando Ferrante, Alberto Ferrari, Christos Sofronis, Leonardo Mangeruca, Luca Benvenuti. An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems. In Youssef Hamadi, Lakhdar Sais, editors, Handbook of Parallel Constraint Reasoning. pages 617-632, Springer, 2018. [doi]