[Lecture Notes in Computer Science] Transactions and Change in Logic Databases Volume 1472 || Some notes on knowledge assimilation in deductive databases
- 作者Freitag, Burkhard; Decker, Hendrik; Kifer, Michael; Voronkov, Andrei
- 文件大小2468.45KB
- 发表时间1998
- DOI10.1007/bfb0055502
- 页码249-286
[Lecture Notes in Computer Science] Lectures on Proof Verification and Approximation Algorithms Volume 1367 || DerandomizationMayr, Ernst W.; Jürgen Prömel, Hans; Steger, Angelika · 1998
[Lecture Notes in Computer Science] Lectures on Proof Verification and Approximation Algorithms Volume 1367 || Introduction to randomized algorithmsMayr, Ernst W.; Jürgen Prömel, Hans; Steger, Angelika · 1998
[Lecture Notes in Computer Science] Lectures on Proof Verification and Approximation Algorithms Volume 1367 || Proving the PCP-TheoremMayr, Ernst W.; Jürgen Prömel, Hans; Steger, Angelika · 1998
[Lecture Notes in Computer Science] Lectures on Proof Verification and Approximation Algorithms Volume 1367 || Dense instances of hard optimization problemsMayr, Ernst W.; Jürgen Prömel, Hans; Steger, Angelika · 1998
[Lecture Notes in Computer Science] Lectures on Proof Verification and Approximation Algorithms Volume 1367 || Proof checking and non-approximabilityMayr, Ernst W.; Jürgen Prömel, Hans; Steger, Angelika · 1998
[Lecture Notes in Computer Science] Lectures on Proof Verification and Approximation Algorithms Volume 1367 || Parallel repetition of MIP(2,1) systemsMayr, Ernst W.; Jürgen Prömel, Hans; Steger, Angelika · 1998
[Lecture Notes in Computer Science] Lectures on Proof Verification and Approximation Algorithms Volume 1367 || Optimal non-approximability of MaxCliqueMayr, Ernst W.; Jürgen Prömel, Hans; Steger, Angelika · 1998