原名:Minimal Unsatisfiability and Autarkies
作品简介:Armin Biere、Marijn Heule、Hans van Maaren 和 Toby Walsh(编)。公式)由sup-MU(k)表示并且是NP完全的[Sze01,KZ02a]。补不变公式是否至少不能满足约化。……
资源下载
包年VIP免费升级包年VIP
原名:Minimal Unsatisfiability and Autarkies
作品简介:Armin Biere、Marijn Heule、Hans van Maaren 和 Toby Walsh(编)。公式)由sup-MU(k)表示并且是NP完全的[Sze01,KZ02a]。补不变公式是否至少不能满足约化。……