On small-depth Frege proofs for PHP.

Published in: Electron. Colloquium Comput. Complex. (2023)

Keyphrases

open source
small number
database applications
databases
expert systems
database
real time
data sets
information retrieval
website
web applications
depth map
depth information
depth images