New Polynomial Classes for #2SAT Established Via Graph-Topological Structure.
Guillermo De Ita LunaPedro Bello LópezMeliza Contreras GonzálezPublished in: Eng. Lett. (2007)
Keyphrases
- graph structure
- connected components
- graph representation
- tree shaped
- graph model
- directed graph
- graph matching
- structural properties
- topological properties
- weighted graph
- sat solving
- graph representations
- class hierarchy
- equivalence classes
- graph mining
- structured data
- satisfiability problem
- phase transition
- search strategies
- tree structure