Simon Rehwald

1. Efficiently Checking Actual Causality with SAT Solving
   2019/04/30 by Amjad Ibrahim, Ibrahim, Amjad, Simon Rehwald +3 · 1 citation
   Computer Science · Business, Management and Accounting · #Semantic Web and Ontologies #Business Process Modeling and Analysis #Logic, Reasoning, and Knowledge