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

Emir Demirovic Haris Gavranovic

Published in: SAT (2012)

Keyphrases

objective function
lower bound
information systems
information technology
satisfiability problem
databases
recent advances
orders of magnitude
decomposition method