Browsing Theses and Dissertations by Author "Kaizer, Wesley Luciano"

Now showing items 1-1 of 1

    • Sequencing operator counts with state-space search 

      Kaizer, Wesley Luciano (2020) [Dissertation]
      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 ...