An Efficient Method for Solving UNSAT 3-SAT and Similar Instances via Static Decomposition - (Poster Presentation).

Emir Demirovic, Haris Gavranovic

Browse the full SAT paper archive.