Some 3CNF properties are hard to test
For a boolean formula φ on n variables, the associated property Pφ is the collection of n-bit strings that satisfy φ. We prove that there are 3CNF properties that require a line...
Publications
1 shownFrequent Co-Authors
Researcher Info
- h-index
- 1
- Publications
- 1
- Citations
- 26
- Institution
- Massachusetts Institute of Technology
External Links
Identifiers
- ORCID
- 0000-0002-2739-5642
Impact Metrics
h-index
1
h-index: Number of publications with at least h citations each.