Wonderings of a SAT geek

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 […]