A New Reduction from 3SAT to n-Partite Graphs.
Daniel J. HulmeRobin HirschBernard F. BuxtonR. Beau LottoPublished in: FOCI (2007)
Keyphrases
- graph structure
- graph theory
- graph matching
- phase transition
- satisfiability problem
- sat solvers
- random graphs
- graph databases
- constraint satisfaction
- sat solving
- weighted graph
- bipartite graph
- directed graph
- optimal solution
- graph mining
- graph model
- undirected graph
- graph partitioning
- graph representation
- graph data
- graph kernels
- boolean satisfiability