Journal Article A short implicant of a CNF formula with many satisfying assignments

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

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

Number of accesses :  

Other information