An Exact Algorithm for the Boolean Connectivity Problem for k-CNF.Theor.
-
- 玉置 卓
- 京都大学
書誌事項
- タイトル
- An Exact Algorithm for the Boolean Connectivity Problem for k-CNF.Theor.
- 著者
- Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto.
収録刊行物
-
- Comput.Sci. (to appear.)
-
Comput.Sci. (to appear.)