An Exact Algorithm for Oblivious Read-Twice Branching Program Satisfiability.
Kazuhisa SetoJunichi TeruyamaPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2016)
Keyphrases
- branch and bound
- programming environment
- column generation
- computer programs
- satisfiability problem
- integer programming
- propositional logic
- application programs
- computational complexity
- np complete
- search tree
- branch and bound algorithm
- metaheuristic
- static analysis
- shortest path problem
- exact algorithms
- decision procedures
- lower bound