NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 2 of 2 for “"Planning as Satisfiability"”.

  1. Efficient Automated Planning with New Formulations

    Huang, Ruoyun2012

    … formulated. This fact also applies to automated planning, a key field in artificial intelligence research. Classical planning used to be dominated by STRIPS formulation, a simple model based on propositional logic. In the recently introduced SAS+ formulation, the multi-valued variables naturally …

    wustl Repository record

  2. Symbolic Pattern Planning

    CARDELLINI, MATTEOPolitecnico di Torino2025

    L'abstract è presente nell'allegato / the abstract is in the attachment

    poli-torino Repository record