A new proof of a Colbourn-Rosa problem.

Published in: Discret. Math. (2003)

Keyphrases

linear logic
real time
machine learning
proof planning
mathematical proofs
data sets
artificial intelligence
social networks
information systems
multi agent