GraphSAT - a decision problem connecting satisfiability and graph theory.
Vaibhav KarveAnil N. HiraniPublished in: CoRR (2021)
Keyphrases
- graph theory
- decision problems
- computational complexity
- sat problem
- influence diagrams
- computer vision and pattern recognition
- decision model
- optimal policy
- satisfiability problem
- social network analysis
- utility function
- graph theoretical
- graph based representations
- decision processes
- graph theoretic
- complex networks
- maximal cliques
- propositional logic
- np complete
- automata theory
- phase transition
- maximum independent set
- bayesian decision problems
- decision analysis
- data mining
- state space
- special case
- combinatorial optimization