An Investigation of Variable Relationships in 3-SAT Problems


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


6 Figures and Tables

Slides referencing similar topics