Login / Signup

A proof of the Etzion-Silberstein conjecture for monotone and MDS-constructible Ferrers diagrams.

Alessandro NeriMima Stanojkovski
Published in: J. Comb. Theory, Ser. A (2024)
Keyphrases
  • multidimensional scaling
  • upper bound
  • boolean functions
  • artificial intelligence
  • proof theory
  • data sets
  • theorem prover
  • graphical representation
  • linear logic
  • multi dimensional scaling
  • complete axiomatization