学術雑誌論文 A short implicant of a CNF formula with many satisfying assignments

ケイン, ダニエル  ,  Kane, Daniel  ,  渡辺, 治  ,  WATANABE, OSAMU

2016-02 , Springer US
ISSN:0178-46171432-0541

このアイテムのアクセス数:  回

その他の情報