On a directed variation of the 1-2-3 and 1-2 Conjectures.

Emma Barme Julien Bensmail Jakub Przybylo Mariusz Wozniak

Published in: Discret. Appl. Math. (2017)

Keyphrases

databases
computer vision
high quality
wide range
expert systems
theorem prover
inductive inference