目录
相关
  1. 首先,正如Hennessy校长所说,当他们试图让我改名字。
  2. 对于极小不可满足公式的子类MAX和MARG,我们证明了:其变元改名和文字改名的复杂性等价于图同构问题GI。