An exact algorithm for the Boolean connectivity problem for k-CNF.
Kazuhisa MakinoSuguru TamakiMasaki YamamotoPublished in: Theor. Comput. Sci. (2011)
Keyphrases
- boolean functions
- conjunctive normal form
- uniform distribution
- disjunctive normal form
- column generation
- connected components
- randomly generated
- topological properties
- membership queries
- integer programming
- boolean formula
- network connectivity
- polynomial size
- satisfiability problem
- linear programming
- boolean logic
- neural network
- graph connectivity
- exact algorithms
- medical images
- special case
- social networks
- information retrieval