Login / Signup

An ILP-based Proof System for the Crossing Number Problem.

Markus ChimaniTilo Wiedera
Published in: ESA (2016)
Keyphrases
  • small number
  • computational effort
  • web services
  • computational complexity
  • inductive logic programming
  • maximum number
  • artificial intelligence
  • background knowledge