Keyphrases
- np complete
- linear logic
- np hard
- fixed point
- randomly generated
- programming language
- logic programming
- satisfiability problem
- cut elimination
- intuitionistic logic
- proof theoretic
- constraint satisfaction problems
- desirable properties
- logical framework
- conjunctive queries
- special case
- optimal solution
- data complexity
- sequent calculus
- proof search
- lower bound
- computational complexity
- inference rules
- objective function
- probabilistic model