Proof of a Conjecture of Nath and Sellers on Simultaneous Core Partitions.

Yetong Sha Huan Xiong

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

Keyphrases

online auctions
theorem proving
electronic commerce
clustering algorithm
software agents
electronic marketplaces
linear logic
database
data sets
neural network
data mining
image sequences
theorem prover
logical rules
search costs