Backdoor Set
Matched Formula: A CNF formula is matched if one can match each clause to a "private" variable that occurs
in the clause such that different clauses are matched to different variables.
2007年7月8日星期日
BackdoorSet
订阅：
博文 (Atom)
Backdoor Set
Matched Formula: A CNF formula is matched if one can match each clause to a "private" variable that occurs
in the clause such that different clauses are matched to different variables.
博文
所有评论
