Searching for "On Locally Checkable Properties." – sorted by Relevance.
9 documents found, showing 1 through 9.
-
On Locally Checkable Properties
- …On Locally Checkable Properties Orna Kupferman1 ⋆ , Yoad Lustig1 2 ⋆⋆ , and Moshe Y. Vardi 1…
- Add To MetaCart
-
On locally checkable properties
- …On Locally Checkable Properties Orna Kupferman1 ⋆ , Yoad Lustig1 2 ⋆⋆ , and Moshe Y. Vardi 1…
- Cited by 1 (0 self) – Add To MetaCart
-
On Local versus Global Satisfiability
- … in boolean CNF formulae enjoying a locally checkable property, thus solving a problem that has been open…
- Cited by 4 (0 self) – Add To MetaCart
-
On the Role of Algebra in the Efficient Verification of Proofs
- …-correcting codes. 2. Their recently discovered property of being efficiently locally checkable. 3. The existence…
- Cited by 2 (0 self) – Add To MetaCart
-
Probabilistic Verification of Proofs
- … local checkability. To get this additional property, we use the idea of encoding using multivariate…
- Add To MetaCart
-
The Role of Relativization in Complexity Theory
- … and Vazirani [AIV92] argue that the "local-checkability" property of complexity classes is a major reason…
- Cited by 33 (9 self) – Add To MetaCart
-
Using Autoreducibility to Separate Complexity Classes
- … proof that Satisifiability is NP-complete, showed that a tableau has a "locally-checkable" property…
- Cited by 26 (12 self) – Add To MetaCart
-
How Powerful is Adiabatic Quantum Computation
- … that NP has a `local-checkability' property, does not relativize [1] (see [14] for a brief discussion…
- Cited by 17 (0 self) – Add To MetaCart
-
Self-Stabilizing Depth-First Token Passing on Rooted Networks
- … locally checkable property). Our algorithm uses neither the distance variable nor any special data…
- Cited by 9 (2 self) – Add To MetaCart
Showing 1 through 9.
