{"type":"ScholarlyArticle","title":"Reachability, Relevance, Resolution and the Planning as Satisfiability Approach","authors":[{"name":"Ronen I. Brafman","slug":"ronen-i-brafman","given":"Ronen I.","family":"Brafman","affiliation":""}],"abstract":"We investigate the ability of two central encoding methods to propagate reachability and relevance information using resolution steps. More specifically, we compare the ability of unit-propagation and higher-order resolution steps to propagate reachability and relevance information in the context of the linear and GRAPHPLAN encoding schemes to the ability of a natural class of reachability and relevance algorithms that operate at the plan level. As a result of our observations and additional considerations, we experiment with a preprocessing step based on limited binary resolution that shows nice results.","doi":null,"url":"https://ijcai.org/proceedings/1999/139","pdf":"https://ijcai.org/proceedings/1999/0139.pdf","markdown":"https://ijcai.org/proceedings/1999/139.md","bibtex":"https://ijcai.org/proceedings/1999/bibtex/139","volume":{"slug":"1999","title":"Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1999","url":"https://ijcai.org/proceedings/1999/","year":1999,"location":"Stockholm, Sweden","dates":"","editors":"Thomas Dean","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Planning and Scheduling","track":"Planning and Scheduling","number":139,"pages":{"first":976,"last":980},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}