Login / Signup
An ILP-based Proof System for the Crossing Number Problem.
Markus Chimani
Tilo Wiedera
Published in:
ESA (2016)
Keyphrases
</>
small number
computational effort
web services
computational complexity
inductive logic programming
maximum number
artificial intelligence
background knowledge