Login / Signup

What Matters in Hierarchical Search for Combinatorial Reasoning Problems?

Michal ZawalskiGracjan GóralMichal TyrolskiEmilia WisniosFranciszek BudrowskiLukasz KucinskiPiotr Milos
Published in: CoRR (2024)
Keyphrases
  • reasoning problems
  • search algorithm
  • search space
  • description logics
  • decision procedures
  • machine learning
  • reasoning tasks
  • tree decomposition