Tag: equivalent literals
-
Note to self: higher level autarkies
While reading this thesis, I have had a thought about autarkies. Let me first define what an autarky in SAT solving is: A partial assignment phi is called a weak autarky for F if “phi*F is a subset of F” holds, while phi is an autarky for F if phi is a weak autarky for […]