Author:
Publication: Artificial Intelligence
Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal per
Clause vivification by unit propagation in CDCL SAT solvers