publication venue for In-Memory Computing Using Paths-Based Logic and Heterogeneous Components 2018 Clause Simplification through Dominator Analysis 2011 Improved visibility in one-to-many trace concretization 2008 Strong conflict analysis for propositional satisfiability 2006
