Abstract | ||
---|---|---|
In this talk, I will discuss an approach to the P = NP question via the correspondence between logic and complexity. The focus will be on the possible use of Ehrenfeucht-Fraíssé games. |
Year | DOI | Venue |
---|---|---|
2000 | 10.1109/LICS.2000.855750 | LICS |
Keywords | Field | DocType |
possible use,np question,game theory,polynomials,computational complexity,logic | PH,Quantum complexity theory,Computational logic,Discrete mathematics,Average-case complexity,Structural complexity theory,Computer science,Theoretical computer science,Descriptive complexity theory,UP,Game complexity | Conference |
ISSN | ISBN | Citations |
1043-6871 | 0-7695-0725-5 | 0 |
PageRank | References | Authors |
0.34 | 1 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ronald Fagin | 1 | 8808 | 2643.66 |