Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)