Login / Signup
Bute: A Bottom-Up Exact Solver for Treedepth (Submitted to PACE 2020 under username peaty).
James Trimble
Published in:
CoRR (2020)
Keyphrases
</>
data sets
data mining
image sequences
expert systems
data driven
neural network
case study
logic programs
orders of magnitude
brute force