Proof of the Alon-Tarsi Conjecture for n=2rp.

Arthur A. Drisko

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

Keyphrases

learning theory
theorem proving
theorem prover
data sets
information systems
provably correct
proof planning
databases
web services
preprocessing
lower bound
user interface
proof theory