Proof of a monotonicity conjecture.

Thomas Prellberg Dennis Stanton

Published in: J. Comb. Theory, Ser. A (2003)

Keyphrases

theorem proving
linear logic
genetic algorithm
lower bound
expert systems
information technology
special case
logical rules
monotonicity property