Efficiently Checking Actual Causality with SAT Solving.

Amjad Ibrahim Simon Rehwald Alexander Pretschner

Published in: CoRR (2019)

Keyphrases

sat solving
sat solvers
boolean satisfiability
evolutionary algorithm
domain specific
orders of magnitude