C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
The quest for a logic for polynomial-time computation: technical perspective.
Phokion G. Kolaitis
Published in:
Commun. ACM (2011)
Keyphrases
</>
special case
artificial intelligence
approximation algorithms
logic programming
defeasible logic
finite automata
real time
databases
search engine
np hard
multi valued
logical framework
classical logic
truth table