A Simple Proof for a Forbidden Subposet Problem.

Ryan R. Martin Abhishek Methuku Andrew J. Uzzell Shanise Walker

Published in: Electron. J. Comb. (2020)

Keyphrases

theorem prover
database systems
optimal solution
data streams
artificial neural networks