Accelerating ILP Solvers for Minimum Flow Decompositions Through Search Space and Dimensionality Reductions.
Andreas GrigorjewFernando H. C. DiasAndrea CraccoRomeo RizziAlexandru I. TomescuPublished in: SEA (2024)
Keyphrases
- search space
- sat solvers
- inductive logic programming
- high dimensional
- combinatorial search
- search algorithm
- heuristic search
- effective pruning
- metaheuristic
- flow field
- ilp systems
- feature space
- dimensionality reduction
- search strategy
- flow patterns
- reduce the search space
- relational learning
- minimum cost
- background knowledge
- global optimum
- efficient computation
- first order logic
- high dimensionality
- sat solving
- constraint propagation
- search procedure
- information flow
- solution space
- prior knowledge
- branch and bound