Arxiv 2609 03938v1 Towards Numerical Tohtn Planning With Smt Based Ht

--
name: arxiv-2609-03938v1-towards-numerical-tohtn-planning-with-smt-based-ht
description: 'Towards Numerical TOHTN Planning with SMT-based HTN-SAT Encoding (arXiv: 2609.03938v1)'
metadata:
  {
    "arxiv_id": "2609.03938v1",
    "utility": 1.0,
    "title": "Towards Numerical TOHTN Planning with SMT-based HTN-SAT Encoding",
    "authors": "Gaspard Quenard, Takudzwa Togarepi, Damien Pellier, Humbert Fiorino",
    "url": "http://arxiv.org/abs/2609.03938v1"
  }
--

# Towards Numerical TOHTN Planning with SMT-based HTN-SAT Encoding

**arXiv ID:** 2609.03938v1
**Authors:** Gaspard Quenard, Takudzwa Togarepi, Damien Pellier, Humbert Fiorino
**URL:** http://arxiv.org/abs/2609.03938v1
**Utility Score:** 1.00

## Summary

This skill was automatically generated from the arXiv paper titled "Towards Numerical TOHTN Planning with SMT-based HTN-SAT Encoding" (ID: 2609.03938v1).

## Usage

This skill can be used to reference the paper's concepts, methodologies, or findings in agent workflows.

## References

- arXiv: http://arxiv.org/abs/2609.03938v1