SAS+ Planning as Satisfiability

DOI10.1613/jair.3442zbMath1244.68071arXiv1401.4598OpenAlexW3100276112WikidataQ129489491 ScholiaQ129489491MaRDI QIDQ2887072

Yixin Chen, Ruoyun Huang, Weixiong Zhang

Publication date: 16 May 2012

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1401.4598

zbMATH Keywords

searchSAT solversplanning as satisfiabilitySAS+ encoding of actions and planning problems

Mathematics Subject Classification ID

Searching and sorting (68P10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• Chaff

This page was built for publication: SAS+ Planning as Satisfiability