• Sequencing operator counts with state-space search 

      Kaizer, Wesley Luciano (2020) [Dissertação]
      A search algorithm with an admissible heuristic function is the most common approach to optimally solve classical planning tasks. Recently DAVIES et al. (2015) introduced the solver OpSeq using Logic-Based Benders ...