Journal Article Whose side are you on?1 • Journal of Satisfiability, Boolean Modeling and Computation • 4(2-4):117-148 Heule MJH, van Maaren H
