An Investigation of Variable Relationships in 3-SAT Problems

Abstract

To date, several types of structure for finite Constraint Satisfaction Problems have been investigated with the goal of either improving the performance of problem solvers or allowing efficient problem solvers to be identified. Our aim is to extend the work in this area by performing a structural analysis in terms of variable connectivity for 3-SAT problems… (More)
DOI: 10.1007/3-540-36187-1_51

Topics

6 Figures and Tables

Slides referencing similar topics