Discovering the Impact of Group Structure on 3-SAT

-- Boolean SAT problems are widespread in current demanding applications, most notably model checking for both hardware and software. It has long been known that the clause-to-variable ratio describes the likely behavior of randomly generated boolean formulae. This paper empirically investigates how the grouping of variables in these formulae further affects their satisfiability.

• Type: Conference
• Year: 2006
• Where: FCS
• Authors: James McQuillan, Craig Damon
• Keywords: Boolean Formulae, Boolean SAT Problems, Current Demanding Applications, FCS 2006, FCS 2007