[
next
] [
tail
] [
up
]
4.14.1
Circuit Satisfiability
Definition
Polynomial Certifier
Input:
Certificate:
Certifier:
Reduction
[
next
] [
front
] [
up
]